[Bug tree-optimization/29708] Alias can go funny with pointer addition

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-05-22 01:51 -------

Mine, we always get the correct answer on the pointer plus branch.

On the trunk:
ANYTHING = &ANYTHING
READONLY = &ANYTHING
INTEGER = &ANYTHING
a = &ANYTHING
c_1 = &a
b = &ANYTHING
c_1 = &b
c_6 = c_1 + 32
D.1639_11 = &ANYTHING
D.1640_12 = D.1639_11
D.1640_12 = c_6
  *D.1640_12 = 2;

While on the branch:
ANYTHING = &ANYTHING
READONLY = &ANYTHING
INTEGER = &ANYTHING
a = &ANYTHING
c_1 = &a
b = &ANYTHING
c_1 = &b
c_6 = c_1 + 32
D.1639_11 = c_6
  *D.1639_11 = 2;

So there is no extra Constraint for the store to &ANYTHING.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29708