------- Comment #1 from rguenth at gcc dot gnu dot org 2008-11-07 12:50 -------
Actually this is a dup of PR37868. The points-to results for the access are
wrong:
D.1577_7 = &mat + D.1576_6;
# VUSE <SFT.18_14>
D.1578_8 = (*D.1577_7)[0];
from the constraints
D.1577_7 = &mat
D.1577_7 = D.1576_6
(which are wrong)
we compute
D.1577_7 = { mat }
but correct would be { mat mat.32 }
with the fix for PR37868 we immediately say
D.1577_7 = { ANYTHING }
and this becomes a pessimization for field-sensitive points-to analysis. See
PR38049 for this.
*** This bug has been marked as a duplicate of 37868 ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |DUPLICATE
Target Milestone|--- |4.3.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38048
