See attached patches, thanks!

Description:

When checking "a += b" we were using the type of 'a' in the
diagnostic, instead of the type of the overflowing expression "a+b".
This was particularly problematic when 'a' was signed and 'b' was
unsigned.

Okay to commit?

~Will

Attachment: 0001-ubsan-Use-correct-type-for-compound-assignment-ops.patch
Description: Binary data

Attachment: 0001-ubsan-Check-for-appropriate-types-on-compound-assign.patch
Description: Binary data

_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to