------- Comment #16 from jakub at gcc dot gnu dot org 2007-11-08 12:54 -------
Continuing after the #c11 .. #c15 unrelated PR32540 comments with the original
bug:
I've built -r127926 and -r127927 cc1 and it seems this wasn't fixed just by
a side-effect.
Although p can be either retval of foo or &q, we had in 127926:
# pD.2027_1 = PHI <pD.2027_4(2), &qD.2028(3)>
# qD.2028_18 = VDEF <qD.2028_11> { qD.2028 }
pD.2027_1->s1D.2010 = aD.2023_6(D);
while 127927 has:
# pD.2027_1 = PHI <pD.2027_4(2), &qD.2028(3)>
# qD.2028_19 = VDEF <qD.2028_11>
# SMT.26D.2082_20 = VDEF <SMT.26D.2082_12> { qD.2028 SMT.26D.2082 }
pD.2027_1->s1D.2010 = aD.2023_6(D);
-pD.2027_1, name memory tag: NMT.27D.2083, is dereferenced, points-to vars: { q
}
+pD.2027_1, name memory tag: NMT.27D.2083, is dereferenced, points-to vars: { q
SMT.26 }
So guess I'll just submit the testcase for inclusion on the trunk and then we
can close this PR.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32575
