Disable DeadStores scan-build checker

This silences a true, but minor, bug in the external json-parser:

externals/json-parser/json.c:653:37: warning: Value stored to 'b' is never read
                                    b = 0;
                                    ^   ~
This commit is contained in:
Phil Turnbull 2017-06-15 17:49:39 -04:00
parent 97cdd8b738
commit 7171664eec

View file

@ -22,5 +22,5 @@ function scan_build {
extra_args+=("--use-c++=$CXX")
fi
scan-build "${extra_args[@]}" --status-bugs "$@"
scan-build "${extra_args[@]}" --status-bugs -disable-checker deadcode.DeadStores "$@"
}