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