Pretty sure asan has false positives now.

diku-dk · Dec 3, 2023 · 68f8d5d · 68f8d5d
1 parent a9d4b34
commit 68f8d5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -295,7 +295,7 @@ jobs:
         echo "$HOME/.local/bin" >> $GITHUB_PATH
 
     - run: |
-        export CFLAGS="-fsanitize=undefined -fsanitize=address -fno-sanitize-recover -O"
+        export CFLAGS="-fsanitize=undefined -fno-sanitize-recover -O"
         nix-shell --run 'futhark test -c --backend=ispc tests --no-tuning'
         nix-shell --run 'make -C tests_lib/c FUTHARK_BACKEND=ispc'