HomePhabricator

[ubsan] Detect signed overflow UB in remainder operations

Description

[ubsan] Detect signed overflow UB in remainder operations

Teach ubsan to diagnose remainder operations which have undefined
behavior due to signed overflow (e.g INT_MIN % -1).

Differential Revision: https://reviews.llvm.org/D29437

Details

Committed
vedantkFeb 24 2017, 4:43 PM
Differential Revision
D29437: [ubsan] Detect signed overflow UB in remainder operations
Parents
rL296213: [ubsan] Omit superflous overflow checks for promoted arithmetic (PR20193)
Branches
Unknown
Tags
Unknown