noexpand always false.

[splint.git] / src / idDecl.c

diff --git a/src/idDecl.c b/src/idDecl.c
index 24ebb7531062bccb5f323d36435beacebd527fa2..d60e65e939d8aab5435714fbd429a828bff52c06 100644 (file)
--- a/src/idDecl.c
+++ b/src/idDecl.c
@@ -51,7 +51,7 @@ idDecl_free (idDecl t)
 {
   if (idDecl_isDefined (t))
     {
-      /*@i523 functionClauseList_free (t->clauses); */ /* evans 2002-01-03: splint catches this now! */
+      /* don't: functionClauseList_free (t->clauses); */ /* evans 2002-01-03: splint catches this now! */
       qtype_free (t->typ);
       cstring_free (t->id);
 
@@ -247,8 +247,10 @@ void
 idDecl_addClauses (idDecl d, functionClauseList clauses)
 {
   llassert (idDecl_isDefined (d));
-  /*@i222*/
+
   /*
+    DRL comment out llassert:
+    
     This breaks on sometypes of functionPointers.
     I.e.
     void (*signal (int sig ) @requires g >= 0 @ ) (int) @requires g >= 0 @ ;