http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39333
--- Comment #31 from Rafał Mużyło <galtgendo at o2 dot pl> 2013-01-06 03:34:17 UTC --- PS: the stripped down test case from PR33763 is quite alike attachment 25239, yet something makes a difference. extern void *bar (void); extern int baz (void); extern __inline __attribute__ ((__always_inline__))int baz (void) { return 2; } int baz (void) { return 1; } static void * inl (void) { int *f = (int *) __builtin_malloc (sizeof (int)); void *r = 0; *f = baz(); r = bar(); return r; } void * foo (void) { return inl (); }