[svn:parrot] r38485 - trunk/config/gen/makefiles

[petdance at svn.parrot.org]

Author: petdance
Date: Tue May  5 05:33:33 2009
New Revision: 38485
URL: https://trac.parrot.org/parrot/changeset/38485

Log:
working on more splint flags

Modified:
   trunk/config/gen/makefiles/root.in

Modified: trunk/config/gen/makefiles/root.in
==============================================================================
--- trunk/config/gen/makefiles/root.in	Tue May  5 05:01:48 2009	(r38484)
+++ trunk/config/gen/makefiles/root.in	Tue May  5 05:33:33 2009	(r38485)
@@ -2068,10 +2068,16 @@
 
 # added to splint target to simplify experimentation,
 # ex: make SPLINTFLAGS_TEST='-posixstrictlib +posixlib' splint
-SPLINTFLAGS_TEST := \
-    +partial \
-    -memchecks \
-    -iso-reserved-internal \
+
+
+# We're only checking part of the codebase, and don't try to track memory leaks
+SPLINTFLAGS_TEST = +partial -memchecks
+
+# Don't complain about the str*() functions being reserved by the standard
+SPLINTFLAGS_TEST += -iso-reserved-internal
+
+# Don't complain about using pointers and ints as booleans
+SPLINTFLAGS_TEST += -pred-bool
 
 splint : $(PARROT)
 	$(MKPATH) $(SPLINT_TMP)
@@ -2081,7 +2087,7 @@
 splint-andy :
 	$(MKPATH) $(SPLINT_TMP)
 	splint $(CC_INC) @cc_hasjit@ -DNDEBUG "-Isrc/pmc" "-Icompilers/ast" $(SPLINTFLAGS) $(SPLINTFLAGS_TEST) \
-	src/d*.c \
+	src/s*.c \
     | grep -v 'Source code error generation point'
 
 COVER_FLAGS := -fprofile-arcs -ftest-coverage