Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / src / Headers / functionClause.h

diff --git a/src/Headers/functionClause.h b/src/Headers/functionClause.h
index 681491473fa9d6ed4336719ab9bdf6a4df17fee5..3b24bc72a83c48f6a52d6811cc48469f68a00c34 100644 (file)
--- a/src/Headers/functionClause.h
+++ b/src/Headers/functionClause.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -10,7 +10,7 @@
 # ifndef FUNCTIONCLAUSE_H
 # define FUNCTIONCLAUSE_H
 
-/*@private@*/ typedef enum { 
+/*:private:*/ typedef enum { 
   FCK_GLOBALS,
   FCK_MODIFIES,
   FCK_WARN,
@@ -23,11 +23,11 @@
 struct s_functionClause {
   functionClauseKind kind;
   union {
-    globalsClause globals;
-    modifiesClause modifies;
-    warnClause warn;
-    stateClause state;
-    functionConstraint constraint;
+    /*@null@*/ globalsClause globals;
+    /*@null@*/ modifiesClause modifies;
+    /*@null@*/ warnClause warn;
+    /*@null@*/ stateClause state;
+    /*@null@*/ functionConstraint constraint;
   } val;
 } ;