summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPablo Barciela <[email protected]>2019-08-26 15:50:10 +0200
committerraveit65 <[email protected]>2022-07-20 21:40:42 +0200
commit1ff3eb429ff0d15b62e8f1a208ab00a36b7e6c84 (patch)
tree6f7bb116b376806a5a5f3903b7018868e5bfa1a2
parent89b18b5bd76de0c24124172e6d8ef424d84e97cc (diff)
downloadcaja-1ff3eb429ff0d15b62e8f1a208ab00a36b7e6c84.tar.bz2
caja-1ff3eb429ff0d15b62e8f1a208ab00a36b7e6c84.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 b3623292..d9489722 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -161,6 +161,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