------- 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