------- Comment #2 from rguenth at gcc dot gnu dot org 2006-10-22 17:16 ------- Adding p = &a and using that produces
foo () { struct Foo * p; struct Foo a; int D.1535; <bb 2>: # SFT.2_2 = V_MUST_DEF <SFT.2_1>; a.i = 1; p_3 = &a; # SFT.0_9 = V_MAY_DEF <SFT.0_6>; # SFT.1_10 = V_MAY_DEF <SFT.1_7>; # SFT.2_11 = V_MAY_DEF <SFT.2_2>; # NONLOCAL.8_12 = V_MAY_DEF <NONLOCAL.8_8>; bar (p_3); # VUSE <SFT.2_11>; D.1535_4 = a.i; return D.1535_4; } !? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29551