* Paolo Bonzini: >> There quite a few instances of the x & -x pattern, which would be fine >> with -fwrapv. > > It's always valid if you know that x is not INT_MIN, which you do in > many cases (for example if x is an offset).
The reported cases cover the INT_MIN case (these are execution logs, not results from static analysis).
