------- Comment #22 from rguenth at gcc dot gnu dot org 2007-04-18 22:56
-------
And this is the bug:
# SFT.0_29 = V_MAY_DEF <SFT.0_27>;
# SFT.1_30 = V_MAY_DEF <SFT.1_28>;
this_7->elems[0] = 1;
the following is supposed to read it.
# VUSE <SMT.11_31>;
D.2148_18 = *D.2147_17;
it's interesting that
Points-to sets
this_7 = { D.2141 D.2141.32 }
D.2147_17 = { ANYTHING D.2141 D.2141.32 }
but
Pointed-to sets for pointers in int main()
this_7, name memory tag: NMT.12, is dereferenced, points-to vars: { SFT.0 SFT.1
}
D.2147_17, is dereferenced, points-to anything
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|c++ |tree-optimization
Keywords| |alias
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30567
