aboutsummaryrefslogtreecommitdiff
path: root/backend/ninja
diff options
context:
space:
mode:
authordec05eba <dec05eba@protonmail.com>2020-10-21 18:53:48 +0200
committerdec05eba <dec05eba@protonmail.com>2020-10-21 18:53:48 +0200
commit396598030927a8e531bd68ba3b382f86645af6c6 (patch)
tree7f4677b955f3e259b71701bf142fc76648fa9476 /backend/ninja
parent8a923ca5fd87e8e63bda337bb2e393fa3acda209 (diff)
Add thread sanitizer option (--sanitize=thread)
Diffstat (limited to 'backend/ninja')
-rw-r--r--backend/ninja/Ninja.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/backend/ninja/Ninja.cpp b/backend/ninja/Ninja.cpp
index 980ef2c..8b815cb 100644
--- a/backend/ninja/Ninja.cpp
+++ b/backend/ninja/Ninja.cpp
@@ -412,6 +412,8 @@ namespace backend
return ninja::NinjaArg::createRaw("-fsanitize=undefined");
case Sanitize::LEAK:
return ninja::NinjaArg::createRaw("-fsanitize=leak");
+ case Sanitize::THREAD:
+ return ninja::NinjaArg::createRaw("-fsanitize=thread");
}
}
return {};
@@ -427,6 +429,8 @@ namespace backend
return ninja::NinjaArg::createRaw("-lubsan");
case Sanitize::LEAK:
return ninja::NinjaArg::createRaw("-llsan");
+ case Sanitize::THREAD:
+ return ninja::NinjaArg::createRaw("-ltsan");
}
return {};
}