Skip to content

Commit

Permalink
Do test with sanitize on
Browse files Browse the repository at this point in the history
  • Loading branch information
mdeweerd committed Aug 11, 2024
1 parent 684fa07 commit ab1b51d
Showing 1 changed file with 26 additions and 1 deletion.
27 changes: 26 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,34 @@ jobs:
- name: Install dependencies
run: sudo apt-get update -q && sudo apt install -y dash bash ksh zsh tcsh csh rc

- name: Build and Test
- name: Build and Test (with sanitize)
run: |
SANITIZE="${SANITIZE} -fsanitize=address"
#SANITIZE="${SANITIZE} -fsanitize=thread"
SANITIZE="${SANITIZE} -fsanitize=leak"
SANITIZE="${SANITIZE} -fsanitize=undefined"
SANITIZE="${SANITIZE} -fsanitize=integer-divide-by-zero"
# SANITIZE="${SANITIZE} -fsanitize=vla-bound"
SANITIZE="${SANITIZE} -fsanitize=null"
SANITIZE="${SANITIZE} -fsanitize=signed-integer-overflow"
SANITIZE="${SANITIZE} -fsanitize=bounds"
#SANITIZE="${SANITIZE} -fsanitize=bounds-strict"
SANITIZE="${SANITIZE} -fsanitize=bool"
SANITIZE="${SANITIZE} -fsanitize=enum"
SANITIZE="${SANITIZE} -fsanitize-recover" # will try to continue running the program
#SANITIZE_LINK="-static-libasan -static -lasan -static -lubsan -ldl -lm"
SANITIZE_LINK="-l:libasan.a -l:libubsan.a -ldl -lm"
SANITIZE="${SANITIZE} -fno-sanitize=alignment"
./autogen.sh
./configure
make clean
make CFLAGS="${SANITIZE} -g -O2" LDFLAGS="${SANITIZE_LINK}"
make CC=gcc CFLAGS="${SANITIZE} -g -O2" LDFLAGS="${SANITIZE_LINK}" test
- name: Build and Test (Normal)
run: |
./autogen.sh
./configure
make clean
make
make test

0 comments on commit ab1b51d

Please sign in to comment.