[all-commits] [llvm/llvm-project] 5f3843: [Driver] -fsanitize=undefined: don't expand to sig...

[Fangrui Song via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5f38436d34360d17b58f643650f3605bb9609a34
      https://github.com/llvm/llvm-project/commit/5f38436d34360d17b58f643650f3605bb9609a34
  Author: Fangrui Song <i at maskray.me>
  Date:   2024-03-19 (Tue, 19 Mar 2024)

  Changed paths:
    M clang/lib/Driver/SanitizerArgs.cpp
    A clang/test/Driver/fsanitize-signed-integer-overflow.c

  Log Message:
  -----------
  [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.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications