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

diff --git a/src/rcfiles.c b/src/rcfiles.c
index aff1aaa..2bc9a1e 100644
--- a/src/rcfiles.c
+++ b/src/rcfiles.c
@@ -195,7 +195,10 @@ static void rcfiles_loadFile (/*:open:*/ FILE *rcfile, cstringList *passThroughA
 		      fileIdList_undefined,
 		      passThroughArgs,
 		      cstringList_size (args),
-		      cstringList_getElements (args));
+		      /*@-nullstate@*/ /*@-type@*/ /* exposes cstring type */ 
+		      cstringList_getElements (args)
+		      /*@=nullstate@*/ /*@=type@*/
+		      );
   cstringList_free (args);
   check (fileTable_closeFile (context_fileTable (), rcfile));
 }