Added support for default buffer constraint annotations

[splint.git] / src / idDecl.c

diff --git a/src/idDecl.c b/src/idDecl.c
index 851c622819faa34d89aa4a2ac9bea090aa881c7e..76ba025d9b143ed5ceb44eb2493f9ad2ecbb2016 100644 (file)
--- a/src/idDecl.c
+++ b/src/idDecl.c
@@ -247,6 +247,15 @@ void
 idDecl_addClauses (idDecl d, functionClauseList clauses)
 {
   llassert (idDecl_isDefined (d));
-  llassert (functionClauseList_isUndefined (d->clauses));
+  /*@i222*/
+  /*
+    This breaks on sometypes of functionPointers.
+    I.e.
+    void (*signal (int sig ) @requires g >= 0 @ ) (int) @requires g >= 0 @ ;
+
+    llassert (functionClauseList_isUndefined (d->clauses));
+
+  */
+  
   d->clauses = clauses;
 }