------- Comment #2 from rguenth at gcc dot gnu dot org 2006-02-22 16:23 ------- I get
<bb 2>: # SFT.0D.1534_2 = V_MUST_DEF <SFT.0D.1534_1>; aD.1532.iD.1521 = 1; # SFT.0D.1534_3 = V_MAY_DEF <SFT.0D.1534_2>; bar (&aD.1532); # SFT.0D.1534_4 = V_MAY_DEF <SFT.0D.1534_3>; bar2 (aD.1532); for this case. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26421