From 4a2717f340628c213c68f881967f9dd81729b739 Mon Sep 17 00:00:00 2001 From: ludamad Date: Sat, 11 Nov 2023 10:29:50 +0300 Subject: [PATCH] feat(bb): add msan preset --- barretenberg/cpp/CMakePresets.json | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/barretenberg/cpp/CMakePresets.json b/barretenberg/cpp/CMakePresets.json index a231a712a469..c361d25a4e77 100644 --- a/barretenberg/cpp/CMakePresets.json +++ b/barretenberg/cpp/CMakePresets.json @@ -140,6 +140,23 @@ "LDFLAGS": "-fsanitize=thread" } }, + { + "name": "msan", + "displayName": "Debugging build with memory sanitizer on Clang-16", + "description": "Build with thread sanitizer on clang16 with debugging information", + "inherits": "clang16-dbg", + "binaryDir": "build-msan", + "generator": "Unix Makefiles", + "environment": { + "CFLAGS": "-fsanitize=memory", + "CXXFLAGS": "-fsanitize=memory", + "LDFLAGS": "-fsanitize=memory" + }, + "cacheVariables": { + "BENCHMARK": "OFF", + "TESTING": "OFF" + } + }, { "name": "coverage", "displayName": "Build with coverage", @@ -309,6 +326,11 @@ "inherits": "clang16", "configurePreset": "smt-verification" }, + { + "name": "msan", + "inherits": "default", + "configurePreset": "msan" + }, { "name": "tsan", "inherits": "default",