From 485532faa2766cd50aa88fcdf4b79258d593e86b Mon Sep 17 00:00:00 2001
From: drl7x <drl7x>
Date: Fri, 11 Apr 2003 22:02:55 +0000
Subject: [PATCH] Surpressed spurious splintme error in osd.c

---
 src/osd.c | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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);
-- 
2.45.1