http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57075
--- Comment #8 from rguenther at suse dot de <rguenther at suse dot de> 2013-04-26 12:11:07 UTC --- On Fri, 26 Apr 2013, mpolacek at gcc dot gnu.org wrote: > > 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. The return value is dependent on function context :/
