Displaying 1 result from an estimated 1 matches for "959689".
Did you mean:
59689
2017 Jun 17
3
killing undef and spreading poison
Nuno,
we still need some examples showing that the definition
“Branching on poison is immediate-UB” is the best choice,
so far we only have arguments against it (the one for loop-switching).
Excerpts from the Paper [1]
Here’s the example you give for GVN
t = x + 1;
if (t == y) {
w = x + 1;
foo(w);
}
Therefore, GVN can pick y as the