[Bug tree-optimization/43065] [4.5 Regression] gcc.c-torture/execute/20051215-1.c is miscompiled with -fgraphite-identity

[spop at gcc dot gnu dot org]

------- Comment #7 from spop at gcc dot gnu dot org  2010-03-05 23:14 -------
It seems like the problem is in the overly conservative implementation
of add_param_constraints, as we do not insert bounds for pointers:

  if (!INTEGRAL_TYPE_P (type))
    return;

and in the original testcase we have a pointer parameter z:

foo (int x, int y, int *z)
{
...
      if (z)
        b = d * *z;
...
}


-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |spop at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-03-02 20:31:04         |2010-03-05 23:14:28
               date|                            |


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