diff options
| -rwxr-xr-x | tools/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index b0e59509a..825433625 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -514,8 +514,8 @@ CI_UNIX_OPTS_QEMU_RISCV64=( CI_UNIX_OPTS_SANITIZE_ADDRESS=( VARIANT=coverage - CFLAGS_EXTRA="-fsanitize=address" - LDFLAGS_EXTRA="-fsanitize=address" + CFLAGS_EXTRA="-fsanitize=address --param asan-use-after-return=0" + LDFLAGS_EXTRA="-fsanitize=address --param asan-use-after-return=0" ) CI_UNIX_OPTS_SANITIZE_UNDEFINED=( |