From ba5043f818e1232f2d7dbfecb77bd7418ca98ee3 Mon Sep 17 00:00:00 2001
From: dan <Dan Kennedy>
Date: Fri, 22 Dec 2023 16:03:45 +0000
Subject: [PATCH] Add the -fno-sanitize-recover=undefined to the sanitizer
 builds used for sdevtest and release testing. To ensure that any test that
 provokes undefined behaviour fails.

FossilOrigin-Name: 89563311adb0ab7c7a3eadb11c2e27fbca50c56fce8ca616628facbc00d72b88
---
 manifest                 | 14 +++++++-------
 manifest.uuid            |  2 +-
 test/testrunner_data.tcl |  4 ++--
 3 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/manifest b/manifest
index b268a279b0..6f3470b5d4 100644
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Update\s#ifdef\schecks\sin\spager.c\sand\sutil.c\sto\saccount\sfor\s[0462a2612d1fc1d0]\sto\sresolve\sthe\sbuild\sproblem\sreported\sin\s[forum:9819032aac|forum\spost\s9819032aac].
-D 2023-12-22T15:41:13.699
+C Add\sthe\s-fno-sanitize-recover=undefined\sto\sthe\ssanitizer\sbuilds\sused\sfor\ssdevtest\sand\srelease\stesting.\sTo\sensure\sthat\sany\stest\sthat\sprovokes\sundefined\sbehaviour\sfails.
+D 2023-12-22T16:03:45.305
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -1667,7 +1667,7 @@ F test/temptable3.test d11a0974e52b347e45ee54ef1923c91ed91e4637
 F test/temptrigger.test 38f0ca479b1822d3117069e014daabcaacefffcc
 F test/tester.tcl 68454ef88508c196d19e8694daa27bff7107a91857799eaa12f417188ae53ede
 F test/testrunner.tcl 8e2a5c7550b78d3283eee6103104ae2bcf56aa1df892dbd1608f27b93ebf4de8
-F test/testrunner_data.tcl 72bbd60e8ffbe5694cf871cbe8f8f6e542c9f1e6a33765309331aeb5e4f16553
+F test/testrunner_data.tcl 7ffd951527bbc614e723fd8d123b6834321878530696adecfdf6035100bac64e
 F test/thread001.test a0985c117eab62c0c65526e9fa5d1360dd1cac5b03bde223902763274ce21899
 F test/thread002.test c24c83408e35ba5a952a3638b7ac03ccdf1ce4409289c54a050ac4c5f1de7502
 F test/thread003.test ee4c9efc3b86a6a2767516a37bd64251272560a7
@@ -2156,8 +2156,8 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P e65907e0279f4814ec957f0790777d8b94a86926cd27c52442b311b27efc0185
-R f2929f99f64e2aabe695286ebcbb1f7d
-U stephan
-Z 9fe589dab0cefe8e50c14fab29339e68
+P 0f22d809a1c6c80e381f6bcd931fe4ec36dca0e28d07ab4f4f7f83c813424f60
+R 0b3afe428e241ba40819bcf8993b604e
+U dan
+Z 0e99aa8a06949f0b1d93d30c00bd8ab5
 # Remove this line to create a well-formed Fossil manifest.
diff --git a/manifest.uuid b/manifest.uuid
index d8488a85cb..77b11a7374 100644
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-0f22d809a1c6c80e381f6bcd931fe4ec36dca0e28d07ab4f4f7f83c813424f60
\ No newline at end of file
+89563311adb0ab7c7a3eadb11c2e27fbca50c56fce8ca616628facbc00d72b88
\ No newline at end of file
diff --git a/test/testrunner_data.tcl b/test/testrunner_data.tcl
index 6ca2a80f7a..984c6d8272 100644
--- a/test/testrunner_data.tcl
+++ b/test/testrunner_data.tcl
@@ -100,11 +100,11 @@ namespace eval trd {
   }
   set build(All-Sanitize) { 
     -DSQLITE_OMIT_LOOKASIDE=1
-    --enable-all -fsanitize=address,undefined 
+    --enable-all -fsanitize=address,undefined -fno-sanitize-recover=undefined
   }
 
   set build(Sanitize) {
-    CC=clang -fsanitize=address,undefined
+    CC=clang -fsanitize=address,undefined -fno-sanitize-recover=undefined
     -DSQLITE_ENABLE_STAT4
     -DSQLITE_OMIT_LOOKASIDE=1
     -DCONFIG_SLOWDOWN_FACTOR=5.0
-- 
2.47.2