do..while control flow fix in exprNode.c

[splint.git] / src / qualList.c

diff --git a/src/qualList.c b/src/qualList.c
index 4b6dea3daa57542ac17684afcfa3bf7197544c3e..aa3452446aed5614b47829da50ecb6b1a0863324 100644 (file)
--- a/src/qualList.c
+++ b/src/qualList.c
@@ -1,6 +1,6 @@
 /*
 ** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Copyright (C) 1994-2001 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -199,6 +199,20 @@ qualList_free (/*@only@*/ qualList s)
     }
 }
 
+/* start modifications */
+/*
+requires: p is defined
+returns: true if qual is present in qualList
+modifies: none
+*/
+bool qualList_hasNullTerminatedQualifier(qualList s) {
+    qualList_elements(s, qu) {
+      if( qual_isNullTerminated(qu) ) return TRUE;
+    } end_qualList_elements ;
+   
+  return FALSE;
+}
 
+/* end modification/s */