https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57438
--- Comment #27 from Iain Sandoe <iains at gcc dot gnu.org> ---
(In reply to Uroš Bizjak from comment #26)
> + /* If we don't find any, we've got an empty function body; i.e.
> + completely empty - without a return or branch. Reaching an
> + empty function body means UB. Let's trap it. */
> + if (insn == NULL)
> + fputs ("\thlt\n", file);
>
> Probably sou want to use ud2 instruction here.
yeah, hlt is a little drastic ;-)
