On Wed, Dec 05, 2012 at 08:24:59AM -0800, Xinliang David Li wrote:
> Can the report builtins be marked with certain attribute such as
> 'no-return' etc?
They are marked as noreturn obviously (and leaf, nothrow etc.).
But noreturn isn't attribute that prevents cross-jumping. It is fine
to cross-jump noreturn calls.
On IRC Richard agreed that for 4.8 we can do this cfgcleanup.c hack
(perhaps also in tree-ssa-tail-merge.c if we ever manage to get it to
do tail merging of these), and for 4.9 go with a new attribute.
Jakub
