See attached. This is important to avoid warning twice on shifts that fail both checks, like "1 << -1".
The branching is done to avoid executing the second check's shift with invalid operands (poisoning the result), especially since we already know the shift is invalid. Thanks! ~Will
0001-ubsan-Emit-single-check-for-left-shift.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list cfe-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits