*** empty log message ***

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 0ba72bb781a42f5afc6f280e5794899feb3419cc..1f6783476d37e4061a0987a09c061a4e32b6c611 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -31,6 +31,7 @@ abst_typedef /*@null@*/ struct s_metaStateInfo *metaStateInfo;
 
 abst_typedef /*@null@*/ struct s_functionConstraint *functionConstraint;
 abst_typedef struct s_metaStateConstraint *metaStateConstraint;
+abst_typedef /*@null@*/ struct s_metaStateConstraintList *metaStateConstraintList ;
 abst_typedef struct s_metaStateSpecifier *metaStateSpecifier;
 abst_typedef /*@null@*/ struct s_metaStateExpression *metaStateExpression;
 
@@ -81,7 +82,7 @@ abst_typedef /*@null@*/ struct s_constraintExpr * constraintExpr;
 typedef int bool;
 /*@=cppnames@*/
 
-abst_typedef /*@null@*/ char *cstring;
+abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
 typedef /*@only@*/ cstring o_cstring;
 
 immut_typedef int ctype;