[llvm-dev] x.with.overflow semantics question

[John Regehr via llvm-dev]

Hi Pete,

 > Or do you mean that the result of an add may not even be defined? In 
that case would reading it be considered UB in the case where the 
overflow bit was set?

Yeah, this is the case I'm worried about: that for example 
sadd.with.overflow(INT_MAX, 1) might be designed to return { poison, 
true } instead of giving a useful result in the first element of the struct.

John