------- Comment #6 from pinskia at gcc dot gnu dot org 2009-06-09 21:31 -------
I think this code is undefined as there is an address of a local variable being
taken and stored (explicitly when doing:
__attribute__ ((noinline)) H (A *b) : a (b)
{
p = 0;
n = 0;
if (a != 0)
a->k.bar (this);
}this is an address of a local variable (the temp in baz). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40389
