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

[petdance at svn.parrot.org]

Author: petdance
Date: Wed May 13 22:06:37 2009
New Revision: 38757
URL: https://trac.parrot.org/parrot/changeset/38757

Log:
many new splint flags

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

Modified: trunk/config/gen/makefiles/root.in
==============================================================================
--- trunk/config/gen/makefiles/root.in	Wed May 13 21:50:19 2009	(r38756)
+++ trunk/config/gen/makefiles/root.in	Wed May 13 22:06:37 2009	(r38757)
@@ -1976,6 +1976,11 @@
 SPLINTFLAGS := $(SPLINTFLAGS) \
     +bufferoverflow \
     +bufferoverflowhigh \
+    +read-only-strings \
+    +read-only-trans \
+    +strict-destroy \
+    +strict-use-released \
+    +use-released \
 
 # Macro safety checks
 SPLINTFLAGS := $(SPLINTFLAGS) \
@@ -2035,8 +2040,12 @@
 
 # Types and stuff
 SPLINTFLAGS := $(SPLINTFLAGS) \
+    +char-index \
+    +char-int \
     +enum-members \
     +ignore-signs \
+    +long-integral \
+    +match-any-integral \
 
 # TODO: Miscellaneous other flags
 SPLINTFLAGS := $(SPLINTFLAGS) \
@@ -2044,18 +2053,12 @@
     +assignexpose \
     +continuecomment \
     +fielduse \
-    +longintegral \
-    +matchanyintegral \
     +match-fields \
     +nestedextern \
     +null \
     +nullret \
     +paramuse \
-    +readonlystrings \
     +shadow \
-    +strict-destroy \
-    +strict-use-released \
-    +use-released \
 
 # Other options we'd like to add back
 # +initallelements : Right now, the *.ops files don't initialize all
@@ -2078,7 +2081,7 @@
 	$(MKPATH) $(SPLINT_TMP)
 	splint $(CC_INC) @cc_hasjit@ -DNDEBUG "-Isrc/pmc" "-Icompilers/ast" $(SPLINTFLAGS) $(SPLINTFLAGS_TEST) \
 	+partial -memchecks \
-	src/p*.c \
+	src/packfile.c \
     | grep -v 'Source code error generation point'
 
 COVER_FLAGS := -fprofile-arcs -ftest-coverage