From: drl7x <drl7x>
Date: Fri, 11 Apr 2003 22:02:55 +0000 (+0000)
Subject: Surpressed spurious splintme error in osd.c
X-Git-Tag: splint-3_1_0~21
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/485532faa2766cd50aa88fcdf4b79258d593e86b

Surpressed spurious splintme error in osd.c
---

diff --git a/src/osd.c b/src/osd.c
index 24dcbf4..71b5de4 100644
--- a/src/osd.c
+++ b/src/osd.c
@@ -1133,7 +1133,16 @@ cstring osd_outputPath (cstring filename)
         {
           /* Give up if the result gets to be longer
              than the absolute path name.  */
-          if (rel_buffer + filename_len <= rel_buf_p + 3)
+	  char * temp_rel_buf_p;
+
+	  /*drl This comment is necessary because for some reason Splint
+	    does not realize that the pasts where rel_buf_p is released
+	    do not reach here*/
+	  /*@-usereleased@*/
+	  temp_rel_buf_p = rel_buf_p;
+	  /*@-usereleased@*/
+	  
+          if (rel_buffer + filename_len <= temp_rel_buf_p + 3)
 	    {
 	      sfree (rel_buffer);
 	      return cstring_copy (filename);