diff options
| author | Jack Lloyd <[email protected]> | 2020-04-05 17:35:50 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2020-04-06 07:52:16 -0400 |
| commit | 51ad2468d9f06e04c4621ebae777d35a804fed6e (patch) | |
| tree | cd59dba5fd2bd5923aeb622536b2d9680a2e4186 | |
| parent | 415aa76ff7b17466eb42eef089982a4783c18b20 (diff) | |
Enable UbSan in GCC
| -rwxr-xr-x | src/scripts/ci_build.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index f8712c71d..18057c7f5 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -143,8 +143,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, if target in ['fuzzers', 'sanitizer']: flags += ['--with-debug-asserts'] - # Can't use gcc UbSan ATM due to false positive in XMSS - if target_cc in ['clang']: + if target_cc in ['clang', 'gcc']: flags += ['--enable-sanitizers=address,undefined'] else: flags += ['--with-sanitizers'] |