[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