------- Comment #13 from dberlin at gcc dot gnu dot org 2007-06-20 20:09 ------- (In reply to comment #10) > trunk has the same problem, but different constraints: > > Constraints: > > ANYTHING = &ANYTHING > READONLY = &ANYTHING > INTEGER = &ANYTHING > barptr = &bar1 > barptr.0_1 = barptr > > Points-to sets > > NULL = { } > ANYTHING = { ANYTHING } > READONLY = { ANYTHING } > INTEGER = { ANYTHING } > barptr = { bar1 } > bar1 = { } > barptr.0_1 = same as barptr >
Same thing, when we see call(&barptr), we should say barptr = ANYTHING. . -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32328