This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/38051] [4.4 Regression] Miscompilation of glibc's memcmp
- From: "jakub at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 7 Nov 2008 16:46:17 -0000
- Subject: [Bug tree-optimization/38051] [4.4 Regression] Miscompilation of glibc's memcmp
- References: <bug-38051-87@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #5 from jakub at gcc dot gnu dot org 2008-11-07 16:46 -------
At *.crited there is still a virtual dependency between a = x; (and b = b0;)
and
*srcp1 + *srcp2 reads:
# MPT.26D.2201_438 = VDEF <MPT.26D.2201_421(D)> { MPT.26D.2201 }
aD.2099 = xD.2073_296;
# MPT.26D.2201_439 = VDEF <MPT.26D.2201_438> { MPT.26D.2201 }
bD.2098 = b0D.2069_297;
...
[gg5.c : 13] # VUSE <aD.1965_413(D), bD.1970_414(D), aD.1971_415(D),
bD.1976_416(D), aD.1977_417(D), bD.1982_418(D), aD.1983_41
9(D), SMT.25D.2200_420(D), MPT.26D.2201_439> { aD.1965 bD.1970 aD.1971 bD.1976
aD.1977 bD.1982 aD.1983 SMT.25D.2200 MPT.26D.2201
}
D.2150_302 = *srcp1.0D.2149_301;
...
[gg5.c : 14] # VUSE <aD.1965_413(D), bD.1970_414(D), aD.1971_415(D),
bD.1976_416(D), aD.1977_417(D), bD.1982_418(D), aD.1983_41
9(D), SMT.25D.2200_420(D), MPT.26D.2201_439> { aD.1965 bD.1970 aD.1971 bD.1976
aD.1977 bD.1982 aD.1983 SMT.25D.2200 MPT.26D.2201
}
D.2152_306 = *srcp2.1D.2151_305;
through MPT.26. But in *.pre that's gone and there is no virtual dependency
between them anymore.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38051