Skip to content

Commit

Permalink
Github actions: Disable "integer" sanitizer checks
Browse files Browse the repository at this point in the history
Because they generate false positives, in our case they report the
left-shift of an unsigned integer as UB which is totally legit.

https://stackoverflow.com/questions/73779721/why-does-the-clang-sanitizer-think-this-left-shift-of-an-unsigned-number-is-unde
  • Loading branch information
joto committed Jun 19, 2023
1 parent d0c0741 commit b904200
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -60,8 +60,8 @@ jobs:
image: "debian:bullseye"
c_compiler: clang
cpp_compiler: clang++
CXXFLAGS: -fsanitize=address,undefined,integer -fno-sanitize-recover=all -fno-omit-frame-pointer
LDFLAGS: -fsanitize=address,undefined,integer
CXXFLAGS: -fsanitize=address,undefined -fno-sanitize-recover=all -fno-omit-frame-pointer
LDFLAGS: -fsanitize=address,undefined
- name: Debian-12
# Uses gcc 12.2.0, clang 15.0.6, cmake 3.25.1
image: "debian:bookworm"
Expand Down Expand Up @@ -96,8 +96,8 @@ jobs:
image: "debian:bookworm"
c_compiler: clang
cpp_compiler: clang++
CXXFLAGS: -fsanitize=address,undefined,integer -fno-sanitize-recover=all -fno-omit-frame-pointer
LDFLAGS: -fsanitize=address,undefined,integer
CXXFLAGS: -fsanitize=address,undefined -fno-sanitize-recover=all -fno-omit-frame-pointer
LDFLAGS: -fsanitize=address,undefined
- name: Debian-Testing
image: "debian:testing"
CXXFLAGS: -Wno-stringop-overread
Expand Down

0 comments on commit b904200

Please sign in to comment.