summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
author firewave <firewave@users.noreply.github.com>2018-01-14 01:46:49 +0100
committer Vas Crabb <cuavas@users.noreply.github.com>2018-01-14 13:54:21 +1100
commite2d7b4543453bfa44faa843ab36f73f28caef1d2 (patch)
tree1df4a9a09bdda918351ecd3f23578023ea773484
parentf911ab286989d8dee8cb63aeff17e558d46abc9d (diff)
removed implict usage of "nullability" from SANITIZE=undefined (nw)
-rw-r--r--scripts/genie.lua7
1 files changed, 2 insertions, 5 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua
index a9f6f11be05..d44cdf12a71 100644
--- a/scripts/genie.lua
+++ b/scripts/genie.lua
@@ -974,16 +974,13 @@ if _OPTIONS["SANITIZE"] then
if string.find(_OPTIONS["SANITIZE"], "undefined") then
-- 'function' produces errors without delegates by design
-- 'alignment' produces a lot of errors which we are not interested in
- -- 'nullability' errors are not actually undefined behavior but unintentional
buildoptions {
"-fno-sanitize=function",
- "-fno-sanitize=alignment",
- "-fsanitize=nullability"
+ "-fno-sanitize=alignment"
}
linkoptions {
"-fno-sanitize=function",
- "-fno-sanitize=alignment",
- "-fsanitize=nullability"
+ "-fno-sanitize=alignment"
}
end
end