------- 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