From 330c900781b1a8abde12e5478bb85854da48afc2 Mon Sep 17 00:00:00 2001
From: inferno-chromium <inferno@chromium.org>
Date: Tue, 29 Nov 2016 09:35:07 -0800
Subject: [PATCH] Update libfuzzer-pipeline.groovy (#102)

---
 infra/libfuzzer-pipeline.groovy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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")