------- Comment #1 from rguenth at gcc dot gnu dot org 2006-10-22 17:12 -------
I think it's ok again, but it shows one weakness of the current NONLOCAL
scheme:
foo ()
{
struct Foo a;
int D.1534;
<bb 2>:
# SFT.0_2 = V_MUST_DEF <SFT.0_1>;
a.i = 1;
# SFT.0_6 = V_MAY_DEF <SFT.0_2>;
# NONLOCAL.6_7 = V_MAY_DEF <NONLOCAL.6_5>;
bar (&a);
# VUSE <SFT.0_6>;
D.1534_3 = a.i;
return D.1534_3;
}
we should see that &a points to a and so no NONLOCAL var is necessary
here.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29551
