Quoting "H.J. Lu" <hjl.to...@gmail.com>:
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.
