On 17/11/2015 11:36, Peter Maydell wrote: > > If and when this happens we will add "-fno-strict-overflow" for clang, > > just like we are using "-fno-strict-aliasing" already. > > -fno-strict-overflow in clang is AFAICT just an alias for -fwrapv. > These options control handling of signed overflow of addition, > subtraction and multiplication; there is nothing I can find in the > gcc or clang docs that suggests they have any effect on shift operations.
In the case of GCC, that's a corollary of the compiler not treating that overflow as undefined. Probably the same is true for clang. Paolo