diff options
author | 2018-01-14 01:46:49 +0100 | |
---|---|---|
committer | 2018-01-14 13:54:21 +1100 | |
commit | e2d7b4543453bfa44faa843ab36f73f28caef1d2 (patch) | |
tree | 1df4a9a09bdda918351ecd3f23578023ea773484 /scripts/genie.lua | |
parent | f911ab286989d8dee8cb63aeff17e558d46abc9d (diff) |
removed implict usage of "nullability" from SANITIZE=undefined (nw)
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 7 |
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 |