diff options
author | Fangrui Song <i@maskray.me> | 2024-03-19 10:37:51 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-19 10:37:51 -0700 |
commit | 5f38436d34360d17b58f643650f3605bb9609a34 (patch) | |
tree | 087eb574a7ff899fa18133ebb54833aa5257ce8b /llvm/lib/CodeGen/FreeMachineFunction.cpp | |
parent | b9a41b9e9b1441a7b0ca0fb95b9184f73bbfd4b5 (diff) | |
download | llvm-5f38436d34360d17b58f643650f3605bb9609a34.zip llvm-5f38436d34360d17b58f643650f3605bb9609a34.tar.gz llvm-5f38436d34360d17b58f643650f3605bb9609a34.tar.bz2 |
[Driver] -fsanitize=undefined: don't expand to signed-integer-overflow if -fwrapv (#85501)
Linux kernel uses -fwrapv to change signed integer overflows from
undefined behaviors to defined behaviors. However, the security folks
still want -fsanitize=signed-integer-overflow diagnostics. Their
intention can be expressed with -fwrapv
-fsanitize=signed-integer-overflow (#80089). This mode by default
reports recoverable errors while still making signed integer overflows
defined (most UBSan checks are recoverable by default: you get errors in
stderr, but the program is not halted).
-fsanitize=undefined -fwrapv users likely want to suppress
signed-integer-overflow, unless signed-integer-overflow is explicitly
enabled. Implement this suppression.
Diffstat (limited to 'llvm/lib/CodeGen/FreeMachineFunction.cpp')
0 files changed, 0 insertions, 0 deletions