diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 11:25:54 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 73b90b322bafdb9da22b21cfeeba11a430492037 (patch) | |
| tree | 80edf9c29092c74669e840f013e04c9d3168cda3 /scripts | |
| parent | 7cdcef25d7fcb35b5fc96c678d21b410ae342acc (diff) | |
| download | klee-73b90b322bafdb9da22b21cfeeba11a430492037.tar.gz | |
Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linking
These arguments are not required and let the link process fail. Instead, clang(++) should be used as a linker and it will take care of linking with the correct libraries.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/v-sanitizer.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/v-sanitizer.inc b/scripts/build/v-sanitizer.inc index 6ac9d19f..1224beb0 100644 --- a/scripts/build/v-sanitizer.inc +++ b/scripts/build/v-sanitizer.inc @@ -73,7 +73,7 @@ setup_variables_sanitizer() { flags=("-fsanitize=undefined" "-fno-omit-frame-pointer" "-g" "-fsanitize=integer") SANITIZER_CXX_FLAGS+=("${flags[@]}") SANITIZER_C_FLAGS+=("${flags[@]}") - SANITIZER_LD_FLAGS+=("${flags[@]}" "-lubsan" "-fuse-ld=gold") + SANITIZER_LD_FLAGS+=("${flags[@]}") SANITIZER_SUFFIX+="_ubsan" continue fi |