summaryrefslogtreecommitdiff
path: root/travis-ci
diff options
context:
space:
mode:
authorEvgeny Vereshchagin <evvers@ya.ru>2019-06-15 23:12:24 +0200
committerEvgeny Vereshchagin <evvers@ya.ru>2019-06-15 23:12:24 +0200
commit9bd2422ac38f0d90223a11d66ed50a93346d16f8 (patch)
tree8c93547113d39d917aa3627a69bb2aae77c95629 /travis-ci
parent4b381a9ef65d68dc79760b093436a9c81f43fa5d (diff)
downloadsystemd-9bd2422ac38f0d90223a11d66ed50a93346d16f8.tar.gz
travis: turn on nonnull-attribute on Fuzzit
Diffstat (limited to 'travis-ci')
-rwxr-xr-xtravis-ci/managers/fuzzit.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/travis-ci/managers/fuzzit.sh b/travis-ci/managers/fuzzit.sh
index 71858b4be8..6261bd6720 100755
--- a/travis-ci/managers/fuzzit.sh
+++ b/travis-ci/managers/fuzzit.sh
@@ -21,7 +21,7 @@ export PATH="$HOME/.local/bin/:$PATH"
# https://github.com/systemd/systemd/pull/12771#issuecomment-502139157 are sorted out at least.
# TODO: "null" should probably be added too. On OSS-Fuzz it was turned off in https://github.com/google/oss-fuzz/pull/674
# TODO: figure out what to do about unsigned-integer-overflow: https://github.com/google/oss-fuzz/issues/910
-export SANITIZER="address -fsanitize=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,unsigned-integer-overflow,vla-bound,vptr -fno-sanitize-recover=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,vla-bound,vptr"
+export SANITIZER="address -fsanitize=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,unsigned-integer-overflow,vla-bound,vptr,nonnull-attribute -fno-sanitize-recover=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,vla-bound,vptr,nonnull-attribute"
tools/oss-fuzz.sh
FUZZING_TYPE=${1:-sanity}