------- Comment #10 from rguenth at gcc dot gnu dot org 2007-06-20 15:16 ------- trunk has the same problem, but different constraints:
Constraints: ANYTHING = &ANYTHING READONLY = &ANYTHING INTEGER = &ANYTHING barptr = &bar1 barptr.0_1 = barptr Points-to sets NULL = { } ANYTHING = { ANYTHING } READONLY = { ANYTHING } INTEGER = { ANYTHING } barptr = { bar1 } bar1 = { } barptr.0_1 = same as barptr -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Known to work| |4.1.2 Summary|[4.2 Regression] -fstrict- |[4.2/4.3 Regression] - |aliasing causes skipped code|fstrict-aliasing causes | |skipped code http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32328