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

Reply via email to