diff --git a/infra/libfuzzer-pipeline.groovy b/infra/libfuzzer-pipeline.groovy index df3e3dd91..3f64a6ae9 100644 --- a/infra/libfuzzer-pipeline.groovy +++ b/infra/libfuzzer-pipeline.groovy @@ -37,7 +37,7 @@ def call(body) { // Flags configuration def sanitizerFlags = [ "address":"-fsanitize=address", - "undefined":"-fsanitize=bool,signed-integer-overflow,shift,vptr" + "undefined":"-fsanitize=bool,signed-integer-overflow,shift,vptr -fno-sanitize-recover=undefined" ] def date = java.time.format.DateTimeFormatter.ofPattern("yyyyMMddHHmm")