http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57075
--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-26 12:03:00 UTC --- (In reply to comment #5) > Ok, that's because printf is considered a possible caller of longjmp but > inlining doesn't split the block before handling the return. IIUC, stmt_ends_bb_p then should return true for D.1722 = __builtin_printf ("$"); shouldn't it? It returns false for that stmt.