[llvm-dev] Function Inlining and undef / poison question

[John Regehr via llvm-dev]

> void F(int a)
> {
>     if (a == a) do_stuff();
> }
>
> ....
> main()
> {
>     int x;
>     F(x);
> }

This C program unconditionally executes UB and any translation at all is 
acceptable -- end of story.

John