Fixed line numbering when multi-line macro parameters are used.

[splint.git] / src / ctbase.i

diff --git a/src/ctbase.i b/src/ctbase.i
index 9c2fddf052817370e6fcea3cdd467769ca815867..03aeabb0fd1f7d1c10f0deacb9c773139a5830b8 100644 (file)
--- a/src/ctbase.i
+++ b/src/ctbase.i
@@ -1167,13 +1167,13 @@ ctbase_expectFunction (ctype c)
 }
 
 static bool
-ctbase_isExpectFunction (ctbase ct) /*@*/
+ctbase_isExpectFunction (/*@notnull@*/ ctbase ct) /*@*/
 {
   return (ct->type == CT_EXPFCN);
 }
 
 static ctype
-ctbase_getExpectFunction (ctbase ct)
+ctbase_getExpectFunction (/*@notnull@*/ ctbase ct)
 {
   llassert (ctbase_isExpectFunction (ct));
   return ct->contents.base;