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 d75de0a
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 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 -Wformat=2 -fsanitize=address,undefined
LDFLAGS: -fsanitize=address,undefined
USE_LIBDEFLATE: yes
UBSAN_OPTIONS: print_stacktrace=1:halt_on_error=1

install_script: |
apt-get update
Expand Down

0 comments on commit d75de0a

Please sign in to comment.