[PATCH] [ubsan] Emit single check for Shl

Will Dietz wdietz2 at illinois.edu
Mon Feb 25 13:02:43 PST 2013


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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-ubsan-Emit-single-check-for-left-shift.patch
Type: application/octet-stream
Size: 7012 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130225/115d5765/attachment.obj>


More information about the cfe-commits mailing list