http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44777
--- Comment #9 from Jan Hubicka <hubicka at gcc dot gnu.org> 2012-01-05 19:34:08 UTC --- OK, so the problem is separating the actual two builtins, not that profiling would choke on the multiple returns now? In that case I think the patch is OK (otherwise I would be concerned about fork, that also returns twice, like setjmp receivers do). Thanks a lot for looking into that! Honza