Added checking for union initializers.

[splint.git] / src / osd.c

diff --git a/src/osd.c b/src/osd.c
index 1f9a2d7864adacdb5d50b82a07a805da98f1ebab..d25db62d54c864ba2567ccf890b415ea4bee6d18 100644 (file)
--- a/src/osd.c
+++ b/src/osd.c
@@ -1072,9 +1072,10 @@ cstring osd_outputPath (cstring filename)
              cstring_free (rel_buffer);
              return cstring_copy (filename);
            }
-        }
+        } /*@-usereleased@*/
       while ((*rel_buf_p++ = *path_p++) != '\0') ;
-      
+      /*@=usereleased@*/ /*@i523! shouldn't need these */
+
       --rel_buf_p;
       if (*(rel_buf_p-1) == '/')
         *--rel_buf_p = '\0';