X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/src/fileloc.c

diff --git a/src/fileloc.c b/src/fileloc.c
index bce4b0c..151d7dd 100644
--- a/src/fileloc.c
+++ b/src/fileloc.c
@@ -702,6 +702,12 @@ fileloc_unparse (fileloc f)
 	    if (f->kind == FL_LIB)
 	      {
 		fname = message ("load file %q", fileloc_outputFilename (f));
+
+		if (!context_getFlag (FLG_SHOWLOADLOC))
+		  {
+		    res = fname;
+		    break;
+		  }
 	      }
 	    else
 	      {
@@ -738,6 +744,7 @@ fileloc_unparse (fileloc f)
 		else
 		  {
 		    res = fname;
+		    /*@-branchstate@*/ /* spurious warnings reporteded because of break above */
 		  }
 	      }
 	    else if (fileloc_linenoDefined (f))
@@ -767,7 +774,8 @@ fileloc_unparse (fileloc f)
     {
       res = cstring_makeLiteral ("< Location unknown >");
     }
-
+  /*@=branchstate@*/ /*@i2523 this is a spurious warning because of the break */
+  
   in_funparse = FALSE;
   return res;
 }