X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 5a8f624..9bc78f2 100644
--- 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))
 		{