Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 5a8f624cea1d05df1a5788a9204dbae7fb9c5a93..9bc78f208a55fe4e23392158798439a75d034974 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -264,13 +264,13 @@ checkRefGlobParam (sRef base, /*@notnull@*/ exprNode e,
          else if (sRef_isAnyParam (base))
            {
              uentryList params = context_getParams ();
-             int paramno = sRef_getParam (base);
+             int paramno = usymId_toInt (sRef_getParam (base));
 
              if (paramno < uentryList_size (params))
                {
                  uentry arg = uentryList_getN (params, paramno);
                  sRef ref = uentry_getSref (arg);
-
+                 
                  if (uentry_isReturned (arg) 
                      || sRef_isOnly (ref) 
                      || sRef_isExposed (ref)
@@ -319,7 +319,7 @@ checkRefGlobParam (sRef base, /*@notnull@*/ exprNode e,
          else if (sRef_isAnyParam (base) && !(sRef_isOnly (base)))
            {
              uentryList params = context_getParams ();
-             int paramno = sRef_getParam (base);
+             int paramno = usymId_toInt (sRef_getParam (base));
              
              if (paramno < uentryList_size (params))
                {