[PATCH] smatchify: add two passes option
Colin King
colin.king at canonical.com
Fri Mar 4 00:42:23 UTC 2016
From: Colin Ian King <colin.king at canonical.com>
Use the --two-passes option for better static analysis
Signed-off-by: Colin Ian King <colin.king at canonical.com>
---
smatchify.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/smatchify.sh b/smatchify.sh
index 6034ce9..a0912cf 100755
--- a/smatchify.sh
+++ b/smatchify.sh
@@ -98,7 +98,7 @@ smatch_fwts()
./configure > /dev/null
make clean
- make CHECK="${HERE}/${SMATCH_DIR}/smatch --full-path" \
+ make CHECK="${HERE}/${SMATCH_DIR}/smatch --full-path --two-passes" \
CC="${HERE}/${SMATCH_DIR}/cgcc $INCLUDES" | tee smatch.log
}
--
2.7.0
More information about the fwts-devel
mailing list