[Bug tree-optimization/29753] [4.0/4.1/4.2/4.3 Regression] Volatile semantics ignored in some cases
--- Comment #6 from rguenth at gcc dot gnu dot org 2006-11-19 16:16 --- Subject: Bug 29753 Author: rguenth Date: Sun Nov 19 16:15:47 2006 New Revision: 118990 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118990 Log: 2006-11-19 Richard Guenther <[EMAIL PROTECTED]> Backport from mainline: 2006-11-15 Paolo Bonzini <[EMAIL PROTECTED]> PR middle-end/29753 * gimplify.c (fold_indirect_ref_rhs): Use STRIP_USELESS_TYPE_CONVERSION rather than STRIP_NOPS. Modified: branches/gcc-4_1-branch/gcc/ChangeLog branches/gcc-4_1-branch/gcc/gimplify.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29753
[Bug tree-optimization/29753] [4.0/4.1/4.2/4.3 Regression] Volatile semantics ignored in some cases
--- Comment #5 from rguenth at gcc dot gnu dot org 2006-11-19 16:15 --- Subject: Bug 29753 Author: rguenth Date: Sun Nov 19 16:14:49 2006 New Revision: 118989 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118989 Log: 2006-11-19 Richard Guenther <[EMAIL PROTECTED]> Backport from mainline: 2006-11-15 Paolo Bonzini <[EMAIL PROTECTED]> PR middle-end/29753 * gimplify.c (fold_indirect_ref_rhs): Use STRIP_USELESS_TYPE_CONVERSION rather than STRIP_NOPS. Modified: branches/gcc-4_2-branch/gcc/ChangeLog branches/gcc-4_2-branch/gcc/gimplify.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29753
[Bug tree-optimization/29753] [4.0/4.1/4.2/4.3 Regression] Volatile semantics ignored in some cases
--- Comment #4 from rguenth at gcc dot gnu dot org 2006-11-15 08:07 --- Subject: Bug 29753 Author: rguenth Date: Wed Nov 15 08:07:03 2006 New Revision: 118845 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118845 Log: 2006-11-15 Paolo Bonzini <[EMAIL PROTECTED]> PR middle-end/29753 * gimplify.c (fold_indirect_ref_rhs): Use STRIP_USELESS_TYPE_CONVERSION rather than STRIP_NOPS. Modified: trunk/gcc/ChangeLog trunk/gcc/gimplify.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29753
[Bug tree-optimization/29753] [4.0/4.1/4.2/4.3 Regression] Volatile semantics ignored in some cases
--- Comment #3 from mmitchel at gcc dot gnu dot org 2006-11-12 21:33 --- This is a tricky case, since the underlying memory pointed to by the pointer is non-volatile. In other words, the compiler knows that "s" is non volatile, even though the pointer type is "volatile int *". The C99 standard (5.1.2.3) says that "accessing a volatile object" is a side-effect. The C++ standard ([basic.intro]), however, says that "accessing an object designated by a volatile lvalue" is a side-effect. In this case, I would think the object to be non-volatile, but the lvalue to be volatile. How confusing! -- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29753
[Bug tree-optimization/29753] [4.0/4.1/4.2/4.3 Regression] Volatile semantics ignored in some cases
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added CC||pinskia at gcc dot gnu dot ||org Keywords||wrong-code Target Milestone|--- |4.0.4 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29753
[Bug tree-optimization/29753] [4.0/4.1/4.2/4.3 Regression] Volatile semantics ignored in some cases
--- Comment #2 from bonzini at gnu dot org 2006-11-07 17:25 --- confirmed, untested patch at http://gcc.gnu.org/ml/gcc/2006-11/msg00184.html -- bonzini at gnu dot org changed: What|Removed |Added CC||bonzini at gnu dot org Status|UNCONFIRMED |NEW Component|c |tree-optimization Ever Confirmed|0 |1 GCC build triplet|i686-pc-linux-gnu | GCC host triplet|i686-pc-linux-gnu | GCC target triplet|i686-pc-linux-gnu | Known to fail||4.0.4 4.1.2 4.2.0 4.3.0 Known to work||3.3.5 Last reconfirmed|-00-00 00:00:00 |2006-11-07 17:25:35 date|| Summary|Volatile semantics ignored |[4.0/4.1/4.2/4.3 Regression] |in some cases |Volatile semantics ignored ||in some cases Version|4.2.0 |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29753