Fixed library dump support so that buffer constraint annotations are read and written...

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 1da3ef0a27c0506704cfb06d0f44d22430c60747..b88705051b8be84e4c1b581b1b27825ea114eed0 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -12,11 +12,24 @@ typedef /*@only@*/ uentry o_uentry;
 abst_typedef /*@null@*/ struct _idDecl *idDecl;
 abst_typedef /*@null@*/ struct _usymtab  *usymtab;
 abst_typedef /*@null@*/ struct _exprNode *exprNode;
+
+
 abst_typedef /*@null@*/ struct _guardSet *guardSet;
 abst_typedef /*@null@*/ struct _sRefSet *sRefSet;
 abst_typedef /*@null@*/ struct _aliasTable *aliasTable;
 abst_typedef /*@null@*/ struct __fileloc *fileloc;
 
+
+abst_typedef  struct _constraint *constraint;
+abst_typedef struct _constraintList  *constraintList;
+
+
+/* DRL modified 9 26 00 */
+
+abst_typedef /*@null@*/ struct _constraintExpr * constraintExpr;
+
+
+
 /*@-cppnames@*/
 typedef int bool;
 /*@=cppnames@*/