summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPablo Barciela <[email protected]>2019-09-18 11:43:50 +0200
committerPablo Barciela <[email protected]>2019-09-18 11:43:50 +0200
commitce523b19546fc11a8e0877285dabff2bb1e8cfe5 (patch)
treed3cc72e503910c9790653d1f120356ba83d94f6d
parent45d85850235bbcb6b59b1443d22f0e8203cce566 (diff)
downloadcaja-extensions-ce523b19546fc11a8e0877285dabff2bb1e8cfe5.tar.bz2
caja-extensions-ce523b19546fc11a8e0877285dabff2bb1e8cfe5.tar.xz
Travis CI: clang: -enable-checker alpha.deadcode.UnreachableCode
-rw-r--r--.travis.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
index f3db0f5..1e0d7ba 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -142,6 +142,7 @@ variables:
- CFLAGS="-Wall -Werror=format-security"
- 'CHECKERS="
-enable-checker deadcode.DeadStores
+ -enable-checker alpha.deadcode.UnreachableCode
-enable-checker alpha.core.CastSize
-enable-checker alpha.core.CastToStruct
-enable-checker alpha.core.IdenticalExpr