[svn:parrot] r38848 - in trunk: config/gen/makefiles include/parrot lib/Parrot

[petdance at svn.parrot.org]

Author: petdance
Date: Sat May 16 21:36:59 2009
New Revision: 38848
URL: https://trac.parrot.org/parrot/changeset/38848

Log:
Adding macros for splint exposure tracking

Modified:
   trunk/config/gen/makefiles/root.in
   trunk/include/parrot/compiler.h
   trunk/lib/Parrot/Vtable.pm

Modified: trunk/config/gen/makefiles/root.in
==============================================================================
--- trunk/config/gen/makefiles/root.in	Sat May 16 21:07:44 2009	(r38847)
+++ trunk/config/gen/makefiles/root.in	Sat May 16 21:36:59 2009	(r38848)
@@ -2077,7 +2077,7 @@
 	$(MKPATH) $(SPLINT_TMP)
 	splint $(CC_INC) @cc_hasjit@ -DNDEBUG "-Isrc/pmc" "-Icompilers/ast" $(SPLINTFLAGS) $(SPLINTFLAGS_TEST) \
 	+partial -memchecks \
-	src/oo.c \
+	src/oo.c src/stacks.c src/packfile.c \
     | grep -v 'Source code error generation point'
 
 COVER_FLAGS := -fprofile-arcs -ftest-coverage

Modified: trunk/include/parrot/compiler.h
==============================================================================
--- trunk/include/parrot/compiler.h	Sat May 16 21:07:44 2009	(r38847)
+++ trunk/include/parrot/compiler.h	Sat May 16 21:36:59 2009	(r38848)
@@ -132,6 +132,11 @@
 #define PARROT_DOES_NOT_RETURN_WHEN_FALSE   /*@noreturnwhenfalse@*/
 #define PARROT_MALLOC                       /*@only@*/ __attribute__malloc__ __attribute__warn_unused_result__
 
+/* Macros for exposure tracking for splint. */
+/* See http://www.splint.org/manual/html/all.html section 6.2 */
+#define PARROT_OBSERVER                     /*@observer@*/
+#define PARROT_EXPOSED                      /*@exposed@*/
+
 /* Function argument instrumentation */
 /* For explanations of the annotations, see http://www.splint.org/manual/manual.html */
 

Modified: trunk/lib/Parrot/Vtable.pm
==============================================================================
--- trunk/lib/Parrot/Vtable.pm	Sat May 16 21:07:44 2009	(r38847)
+++ trunk/lib/Parrot/Vtable.pm	Sat May 16 21:36:59 2009	(r38848)
@@ -247,7 +247,7 @@
 
 #define PARROT_VTABLE_LOW 9
 
-static /*@observer@*/ const char * const Parrot_vtable_slot_names[] = {
+static PARROT_OBSERVER const char * const Parrot_vtable_slot_names[] = {
     "",   /* Pointer to namespace for this class */
     "",   /* 'type' value for MMD */
     "",   /* Name of class this vtable is for */
@@ -300,7 +300,7 @@
 /* &end_gen */
 
 #ifdef PARROT_IN_OBJECTS_C
-static /*@observer@*/ const char * const Parrot_mmd_func_names[] = {
+static PARROT_OBSERVER const char * const Parrot_mmd_func_names[] = {
 EOM
 
     for my $entry ( @{$vtable} ) {