Quoting "H.J. Lu" <[email protected]>:
What is the expect run-time behavior when a + b has overflow/underflow?
The expectation is wrap-around. Note that loop strenght reduction can cause assumed wrap-around semantics in RTL for strictly conforming C input where no such wrap-around is in evidence.
