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

[petdance at svn.parrot.org]

Author: petdance
Date: Fri May 22 06:09:01 2009
New Revision: 39030
URL: https://trac.parrot.org/parrot/changeset/39030

Log:
Adding in more memory checks to the splint flags

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

Modified: trunk/config/gen/makefiles/root.in
==============================================================================
--- trunk/config/gen/makefiles/root.in	Thu May 21 23:15:34 2009	(r39029)
+++ trunk/config/gen/makefiles/root.in	Fri May 22 06:09:01 2009	(r39030)
@@ -2006,12 +2006,21 @@
 SPLINTFLAGS := $(SPLINTFLAGS) \
     +relax-quals
 
-# Pointer arithmetic is OK, but watch for null pointers
+# Memory checking
 SPLINTFLAGS := $(SPLINTFLAGS) \
-    -ptr-arith \
+    -must-free \
+    -mustfreefresh \
+    -mustfreeonly \
+    +null \
     +nullptrarith \
+    +nullret \
+    -ptr-arith \
     +ptr-negate \
-    -zero-ptr
+    -zero-ptr \
+
+# Transfer errors are too tough for us right now
+SPLINTFLAGS := $(SPLINTFLAGS) \
+    -mem-trans
 
 # Symbol definitions
 SPLINTFLAGS := $(SPLINTFLAGS) \
@@ -2044,12 +2053,6 @@
     +long-integral \
     +match-any-integral \
 
-# Miscellaneous other flags
-SPLINTFLAGS := $(SPLINTFLAGS) \
-    +null \
-    +nullret \
-    +shadow \
-
 # Other options we'd like to add back
 # +initallelements : Right now, the *.ops files don't initialize all
 #  values of the arrays
@@ -2070,8 +2073,8 @@
 splint-andy :
 	$(MKPATH) $(SPLINT_TMP)
 	splint $(CC_INC) @cc_hasjit@ -DNDEBUG "-Isrc/pmc" "-Icompilers/ast" $(SPLINTFLAGS) $(SPLINTFLAGS_TEST) \
-	+partial -memchecks \
-	src/string/*.c src/oo.c src/key.c \
+	+partial \
+	src/oo.c src/key.c \
     | grep -v 'Source code error generation point'
 
 COVER_FLAGS := -fprofile-arcs -ftest-coverage