diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2017-11-20 23:31:05 +0100 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2019-02-14 23:30:44 +0100 |
| commit | 8ae3db510bc0a80b2baa9b36a9e436dd728c3bbb (patch) | |
| tree | b1811e15cce40a7de5eaf8be80846c4a204cad9b | |
| parent | 5341c6566709b8976d8e491cbab6678fc779b953 (diff) | |
travis: add scan-build
Closes #3564
| -rw-r--r-- | .travis.yml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index d49d8f13a..a0a7c7012 100644 --- a/.travis.yml +++ b/.travis.yml @@ -149,6 +149,10 @@ matrix: - os: linux compiler: clang dist: trusty + env: T=scan-build + - os: linux + compiler: clang + dist: trusty env: T=debug CFLAGS="-fsanitize=address,undefined,signed-integer-overflow -fno-sanitize-recover=undefined,integer -Wformat -Werror=format-security -Werror=array-bounds -g" LDFLAGS="-fsanitize=address,undefined -fno-sanitize-recover=undefined,integer" LIBS="-ldl -lubsan" install: @@ -404,6 +408,11 @@ script: ./mainline.sh ${CURLSRC} popd fi + - | + if [ "$T" = "scan-build" ]; then + scan-build ./configure --enable-debug --enable-werror $C + scan-build --status-bugs make && scan-build --status-bugs make examples + fi # whitelist branches to avoid testing feature branches twice (as branch and as pull request) branches: |