------- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-03 03:03 ------- The real problem can be seen with: int f(void); int h(void);
int g(int a)
{
int (*ff)(void) = f;
int (**g)(void);
g = &ff;
(*g)();
h();
(*g)();
}
we mark the value which we calling as escaping:
D.1289_5, is dereferenced, its value escapes, points-to anything
D.1289_6, is dereferenced, its value escapes, points-to anything
that is wrong.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8781
