return after trap

[Ulrich Weigand via llvm-commits]

Jonas Paulsson <paulsson at linux.vnet.ibm.com> wrote on 09.06.2017 14:51:58:

> Interestingly enough, a similar test in ARM/trap.ll looks like:
>
> define void @t() nounwind {
> entry:
>   call void @llvm.trap()
>   unreachable
> }
>
> , which of course passes also on SystemZ with or without the barrier
> and terminator flag.
>
> So it is then a question if we need to test ret after trap...

Ah, interesting.  Which is the "canonical" LLVM IR version?

Can you check what clang generates from something like:

void test (void)
{
  __builtin_trap();
}

or maybe:

int test (void)
{
  __builtin_trap();
  return 0;
}

Bye,
Ulrich
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170609/e6599cb2/attachment.html>