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

Reply via email to