------- Comment #5 from pinskia at gcc dot gnu dot org 2006-02-13 15:42 ------- For the testcase in comment #4: Points-to analysis
Constraints: t1_1 = &first t1_1 = &last Solving graph: Points-to sets t1_1 = { first last } Pointed-to sets for pointers in foo t1_1, name memory tag: NMT.17, is dereferenced, points-to vars: { SFT.4 SFT.6 } ---- t1_1 is wrong in "Pointed-to sets for pointers in foo". maybe we forget to add all the SFT's or something. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26258