[Bug tree-optimization/29753] [4.0/4.1/4.2/4.3 Regression] Volatile semantics ignored in some cases

2006-11-19 Thread rguenth at gcc dot gnu dot org


--- 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

2006-11-19 Thread rguenth at gcc dot gnu dot org


--- 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

2006-11-15 Thread rguenth at gcc dot gnu dot org


--- 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

2006-11-12 Thread mmitchel at gcc dot gnu dot org


--- 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

2006-11-07 Thread pinskia at gcc dot gnu dot org


-- 

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

2006-11-07 Thread bonzini at gnu dot org


--- 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