------- Comment #2 from rguenth at gcc dot gnu dot org  2008-08-07 13:14 -------
Looks good.  Similar things may happen with CCP propagation for like

void foo(void) {}

void bar(void)
{
  void (*fn)(void) = foo;
  fn();
}

can you verify this as well?  Thanks.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37046

Reply via email to