Skip to content

Commit

Permalink
Add ubsan to the asan CI check.
Browse files Browse the repository at this point in the history
We already have address sanitizer, so add "undefined" into the mix.
  • Loading branch information
jkbonfield committed Jul 18, 2024
1 parent f8016c0 commit c4b3847
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .cirrus.yml
Original file line number Diff line number Diff line change
Expand Up @@ -73,9 +73,10 @@ gcc_task:
USE_CONFIG: no
- environment:
USE_CONFIG: yes
CFLAGS: -std=c99 -pedantic -Wformat=2 -fsanitize=address
LDFLAGS: -fsanitize=address
CFLAGS: -std=c99 -pedantic -fsanitize=address,undefined -DHTS_ALLOW_UNALIGNED=0
LDFLAGS: -fsanitize=address,undefined
USE_LIBDEFLATE: yes
UBSAN_OPTIONS: print_stacktrace=1:halt_on_error=1

install_script: |
apt-get update
Expand Down Expand Up @@ -109,7 +110,7 @@ ubuntu_task:
DO_UNTRACKED_FILE_CHECK: yes
- environment:
USE_CONFIG: yes
CFLAGS: -g -Wall -O3
CFLAGS: -std=c99 -pedantic -Wformat=2 -g -Wall -O3
USE_LIBDEFLATE: yes

# NB: we could consider building a docker image with these
Expand Down

0 comments on commit c4b3847

Please sign in to comment.