diff options
| author | Ivan Maidanski <ivmai@mail.ru> | 2017-06-13 23:57:51 +0300 |
|---|---|---|
| committer | Ivan Maidanski <ivmai@mail.ru> | 2017-06-13 23:57:51 +0300 |
| commit | 0027759242dbc9cf95c0e6071d3625bceed994ac (patch) | |
| tree | 2b71986ef94b8ca56f2be3f38d069fa6d32c741f /.travis.yml | |
| parent | 55d4370c5b5c308e8fd298882105add233a2a54a (diff) | |
| download | bdwgc-0027759242dbc9cf95c0e6071d3625bceed994ac.tar.gz | |
Travis CI: Scan pcr_interface.c, real_malloc.c in extra (CSA, cppcheck)
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 105cd5e9..f48e4897 100644 --- a/.travis.yml +++ b/.travis.yml @@ -483,13 +483,14 @@ script: ${CC} --analyze -Xanalyzer -analyzer-output=text -Werror -I include -I libatomic_ops/src $CFLAGS_EXTRA *.c *.cc cord/*.c cord/tests/cordtest.c cord/tests/de.c extra/gc.c - extra/msvc_dbg.c tests/*.c tests/*.cc tools/*.c; + extra/msvc_dbg.c extra/pcr_interface.c extra/real_malloc.c + tests/*.c tests/*.cc tools/*.c; fi - if [[ "$CPPCHECK_ENABLE" != "" ]]; then ~/cppcheck/cppcheck -q -f --error-exitcode=2 -U GC_API -U long -D CPPCHECK -I include -I libatomic_ops/src $CPPCHECK_ENABLE *.cc cord/*.c cord/tests/*.c tests/*.c tests/*.cc tools/*.c - extra/gc.c; + extra/gc.c extra/pcr_interface.c extra/real_malloc.c; fi - if [[ "$MSAN_OR_UBSAN" == true ]]; then UBSAN_OPTIONS="halt_on_error=1" make check-without-test-driver; |