2 ** Splint - annotation-assisted static program checker
3 ** Copyright (C) 1994-2003 University of Virginia,
4 ** Massachusetts Institute of Technology
6 ** This program is free software; you can redistribute it and/or modify it
7 ** under the terms of the GNU General Public License as published by the
8 ** Free Software Foundation; either version 2 of the License, or (at your
9 ** option) any later version.
11 ** This program is distributed in the hope that it will be useful, but
12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 ** General Public License for more details.
16 ** The GNU General Public License is available from http://www.gnu.org/ or
17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
18 ** MA 02111-1307, USA.
20 ** For information on splint: info@splint.org
21 ** To report a bug: splint-bug@splint.org
22 ** For more information: http://www.splint.org
27 ** Provide a system-independent interface to system-dependent
32 * Modified by Herbert 04/19/97:
33 * - added conditional 'OS2' to conditional 'MSDOS'
34 * - added include of new header portab.h.
35 * - changed '/' to macro.
36 * - added DOS / OS/2 specific stuff in osd_getPath.
38 * - added OS/2 specific includes before osd_getPid()
39 * - handle files like in WIN32 for OS/2 in osd_fileExists()
41 * - added OS/2 support to absolute file names
46 # include <sys/types.h>
47 # include <sys/stat.h>
48 /* Fix suggested by Lars Rasmussen */
51 /* POSIX platforms should defined getpid in unistd.h */
52 # if defined (WIN32) || (defined(OS2) && defined(__IBMC__))
55 # define getcwd _getcwd
62 # include "splintMacros.nf"
68 extern int stat (const char *, /*@out@*/ struct stat *);
71 static bool osd_executableFileExists (char *);
73 static bool nextdir (char **p_current_dir, /*@out@*/ char **p_dir,
74 /*@out@*/ size_t *p_len);
76 extern cstring LSLRootName (cstring filespec)
79 char *result, *startName, *tail;
82 llassert (cstring_isDefined (filespec));
83 tail = strrchr (filespec, CONNECTCHAR);
84 startName = (tail == NULL ? filespec : &tail[1]);
85 tail = strrchr (startName, '.');
86 nameLength = (tail == NULL ? strlen (startName)
87 : size_fromInt (tail - startName));
88 result = dmalloc (nameLength + 1);
89 strncpy (result, startName, nameLength);
90 result[(int) nameLength] = '\0';
92 /*@noaccess cstring@*/
95 extern /*@observer@*/ cstring
96 osd_getEnvironment (cstring env, /*@returned@*/ cstring def)
99 char *ret = osd_getEnvironmentVariable (env);
109 /*@noaccess cstring@*/
115 ** FUNCTIONAL DESCRIPTION:
117 ** This function attempts to locate a file in a search list. On VMS, it
118 ** just concatinates the path and file names, and then lets RMS do the
119 ** searching. On Ultrix, it searches for the file on the path.
121 ** FORMAL PARAMETERS:
123 ** path: search path where to look for the file.
124 ** file: name of file to search for.
125 ** returnPath: if a file is found, this is where the concatenated
126 ** directory and file name are returned.
130 ** OSD_FILEFOUND: the file was found on the search list.
131 ** OSD_FILENOTFOUND the file was not found.
132 ** OSD_PATHTOOLONG the concatenated directory and file name are too
141 ** Requires that parameters, path and file, are valid C strings.
147 extern /*@observer@*/ cstring osd_getHomeDir ()
149 /* Would something different be better for windows? */
150 return (osd_getEnvironmentVariable (cstring_makeLiteralTemp ("HOME")));
153 filestatus osd_findOnLarchPath (cstring file, cstring *returnPath)
155 return (osd_getPath (context_getLarchPath (), file, returnPath));
159 osd_getPath (cstring path, cstring file, cstring *returnPath)
164 char aPath[MAXPATHLEN];
165 filestatus rVal = OSD_FILENOTFOUND; /* assume file not found. */
170 llassert (cstring_isDefined (file));
172 /* 2002-01-01: make sure returnPath gets defined even when there are errors.
173 ** (fixed splint checking detected this)
176 *returnPath = cstring_undefined;
180 # if defined(OS2) || defined(MSDOS) || defined(WIN32)
181 /* under OS/2 and MSDOS the includePath may be empty, if so, search
182 * the current directory. */
184 (*file == CONNECTCHAR || (file[0] != '\0' && file[1] == ':'))
186 (*file == CONNECTCHAR)
190 /* No path specified. Look for it in the current directory. */
192 strcpy (&aPath[0], file);
194 if (osd_fileExists (&aPath[0]))
196 rVal = OSD_FILEFOUND;
197 *returnPath = dmalloc (strlen (&aPath[0]) + 1);
198 strcpy (*returnPath, &aPath[0]);
203 /* Path specified. Loop through directories in path looking for the */
204 /* first occurrence of the file. */
206 while (nextdir (&fullPath, &dirPtr, &dirLen)
207 && rVal == OSD_FILENOTFOUND)
209 if ((dirLen + strlen (file) + 2) <= MAXPATHLEN)
211 /* Cat directory and filename, and see if file exists. */
212 strncpy (&aPath[0], dirPtr, dirLen);
213 strcpy (&aPath[0] + dirLen, ""); /* Null terminate aPath. */
214 strcat (&aPath[0], CONNECTSTR);
215 strcat (&aPath[0], file);
217 if (osd_fileExists (&aPath[0]))
219 rVal = OSD_FILEFOUND;
220 *returnPath = (char *) dmalloc (strlen (&aPath[0]) + 1);
221 strcpy (*returnPath, &aPath[0]);
226 rVal = OSD_PATHTOOLONG;
232 /*@noaccess cstring@*/
236 osd_getExePath (cstring path, cstring file, cstring *returnPath)
241 char aPath[MAXPATHLEN];
242 filestatus rVal = OSD_FILENOTFOUND; /* assume file not found. */
245 *returnPath = cstring_undefined;
246 fullPath = osd_getEnvironmentVariable (path);
248 if (fullPath == NULL)
250 /* No path specified. Look for it in the current directory. */
251 llassert (cstring_isDefined (file));
252 strcpy (&aPath[0], file);
254 if (osd_fileExists (&aPath[0]))
256 rVal = OSD_FILEFOUND;
257 *returnPath = dmalloc (strlen (&aPath[0]) + 1);
258 strcpy (*returnPath, &aPath[0]);
264 ** Path specified. Loop through directories in path looking
265 ** for the first occurrence of the file.
268 while (nextdir (&fullPath, &dirPtr, &dirLen) &&
269 rVal == OSD_FILENOTFOUND)
271 llassert (cstring_isDefined (file));
273 if ((dirLen + cstring_length (file) + 2) <= MAXPATHLEN)
275 /* Cat directory and filename, and see if file exists. */
276 strncpy (&aPath[0], dirPtr, dirLen);
277 strcpy (&aPath[0] + dirLen, ""); /* Null terminate aPath. */
278 strcat (&aPath[0], CONNECTSTR);
279 strcat (&aPath[0], file);
281 if (osd_executableFileExists (&aPath[0]))
283 rVal = OSD_FILEFOUND;
284 *returnPath = dmalloc (strlen (&aPath[0]) + 1);
285 strcpy (*returnPath, &aPath[0]);
290 rVal = OSD_PATHTOOLONG;
296 /*@noaccess cstring@*/
300 osd_fileExists (cstring filespec)
304 return (stat (cstring_toCharsSafe (filespec), &buf) == 0);
306 # if defined (WIN32) || defined (OS2)
307 FILE *test = fileTable_openReadFile (context_fileTable (), filespec);
311 (void) fileTable_closeFile (context_fileTable (),test);
324 # if defined(__IBMC__) && defined(OS2)
325 # define S_IFMT (unsigned short)0xFFFF
329 ** Works form Win32 at least...
334 # define S_IXUSR _S_IEXEC
339 osd_executableFileExists (/*@unused@*/ char *filespec)
343 if (stat (filespec, &buf) == 0)
345 /* mask by file type */
346 /*@-unrecog@*/ /* S_IFMT is not defined */
347 if ((buf.st_mode & S_IFMT) != S_IFDIR /*@=unrecog@*/) /* not a directory */
349 /* as long as it is an executable file */
350 # if defined(__IBMC__) && defined(OS2)
351 int com_or_exe_pos = strlen( filespec) - 4;
352 return stricmp( &filespec[com_or_exe_pos], ".exe") == 0
353 || stricmp( &filespec[com_or_exe_pos], ".com") == 0
354 || stricmp( &filespec[com_or_exe_pos], ".bat") == 0
355 || stricmp( &filespec[com_or_exe_pos], ".cmd") == 0;
357 return (((buf.st_mode & S_IXUSR)
358 # if defined (S_IXGRP) && defined (S_IXOTH)
359 | (buf.st_mode & S_IXGRP) |
360 (buf.st_mode & S_IXOTH)
373 ** FUNCTIONAL DESCRIPTION:
375 ** Find the next directory from a directory path.
377 ** FORMAL PARAMETERS:
379 ** char ** current_dir :
380 ** Points to the current position in the path string. The first time
381 ** you call this routine, this should point to the first character of
382 ** the path. On return, this will be updated to point to the
383 ** terminating \0 or : of the first directory found. You can then pass
384 ** it unchanged for subsequent calls; this routine will correctly skip
388 ** On exit, this will point to the first character of the directory
389 ** that was found. This will be a pointer directly into the client's
392 ** unsigned int * len :
393 ** On exit, this will contain the length of the directory that was
394 ** found, not counting any terminating \0 or :. If no directory was
395 ** found, this will be 0.
398 ** TRUE if we found another directory.
403 ** We return a pointer and length, rather than a string, because of a)
404 ** historical reasons; and b) this avoids having to allocate storage.
412 nextdir (d_char *current_dir, d_char *dir, size_t *len)
416 if (**current_dir == '\0')
423 *dir = (**current_dir == PATH_SEPARATOR ? *current_dir + 1 : *current_dir);
425 /* Find next ':' or end of string */
426 for (tchar = *dir; *tchar != '\0' && *tchar != PATH_SEPARATOR; tchar++)
431 *current_dir = tchar;
432 *len = size_fromInt (tchar - *dir);
436 /*@observer@*/ /*@null@*/ cstring osd_getEnvironmentVariable (cstring var)
438 /* evans - 2001-08-26 fixed OS instead of OS2 bug, reported by Alexander Mai */
439 # if defined(UNIX) || defined(OS2) || defined(MSDOS) || defined(WIN32)
440 char *val = getenv (cstring_toCharsSafe (var));
444 return cstring_undefined;
448 return cstring_makeLiteralTemp (val);
451 return cstring_undefined;
455 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
456 extern /*@external@*/ int _flushall (void) /*@modifies fileSystem@*/ ;
460 extern /*@external@*/ int system (const char *) /*@modifies fileSystem@*/ ;
462 int osd_system (cstring cmd)
465 /* system ("printenv"); */
466 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
470 res = system (cstring_toCharsSafe (cmd));
475 /* This should be defined by unistd.h */
477 extern /*@external@*/ int unlink (const char *) /*@modifies fileSystem@*/ ;
481 static bool s_tempError = FALSE;
483 void osd_setTempError (void)
488 int osd_unlink (cstring fname)
492 res = unlink (cstring_toCharsSafe (fname));
498 llcontbug (message ("Cannot remove temporary file: %s (%s)",
500 cstring_fromChars (strerror (errno))));
507 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
514 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
515 int pid = _getpid ();
517 pid_t pid = getpid ();
523 cstring osd_fixDefine (cstring x)
526 llassert (cstring_isDefined (x));
528 if (strchr (x, '\'') != NULL) {
530 ** If there is a single quote, check for <ident>='<string>' and
531 ** produce <ident>=<string>
534 char *eqs = strchr (x, '=');
537 if (eqs[1] == '\'') {
538 char *endqu = strrchr (x, '\'');
541 if (*(endqu - 1) != '\\') {
542 if (*(endqu + 1) == '\0') {
547 def = cstring_fromChars (eqs + 2);
549 res = cstring_concat (cstring_fromChars (x), def);
560 return cstring_copy (x);
561 /*@noaccess cstring@*/
564 bool osd_fileIsReadable (cstring f)
566 FILE *fl = fileTable_openReadFile (context_fileTable (), f);
570 check (fileTable_closeFile (context_fileTable (), fl));
579 bool osd_isConnectChar (char c)
581 if (c == CONNECTCHAR)
586 # ifdef HASALTCONNECTCHAR
587 if (c == ALTCONNECTCHAR)
597 ** Returns true if c2 starts with the same path as c1
599 ** This is called by context_isSystemDir to determine if a
600 ** directory is on the system path.
602 ** In unix, this is just a string comparison. For Win32 and OS2, we need a more
603 ** complex comparison.
606 bool osd_equalCanonicalPrefix (cstring dirpath, cstring prefixpath)
608 llassert (cstring_isDefined (prefixpath));
610 if (cstring_isEmpty (dirpath))
612 return (cstring_isEmpty (prefixpath));
615 # if defined (WIN32) || defined (OS2)
617 /*@access cstring@*/ /* Moved this from cstring - should abstract it... */
620 ** If one has a drive specification, but the other doesn't, skip it.
623 if (strchr (dirpath, ':') == NULL
624 && strchr (prefixpath, ':') != NULL)
626 prefixpath = strchr (prefixpath, ':') + 1;
630 if (strchr (prefixpath, ':') == NULL
631 && strchr (dirpath, ':') != NULL)
633 dirpath = strchr (dirpath, ':') + 1;
638 int len = size_toInt (strlen (prefixpath));
642 for (i = 0, slen = 0; i < len; i++, slen++)
644 /* Allow any number of connect characters in any combination:
645 * c:/usr//src\/foo == c:\\usr/src\/foo
646 * After this we'll be at the last of such a sequence */
648 if (osd_isConnectChar (dirpath[slen]) && osd_isConnectChar (prefixpath[i]))
650 /* Skip one or more connect chars */
652 for (; osd_isConnectChar (dirpath[slen+1]); ++slen)
657 for (; osd_isConnectChar (prefixpath[i+1]); ++i)
662 /* Windows, MSDOS and OS/2 use case-insensitive path specs! */
663 else if (toupper (dirpath[slen]) != toupper (prefixpath[i]))
671 /*@noaccess cstring@*/
675 return (cstring_equalPrefix (dirpath, prefixpath));
681 ** This code provided by Herbert Martin Dietze, to canonicalize path names.
684 char *osd_getcwd (/*@returned@*/ char *str, size_t size)
686 return getcwd (str, size);
689 /*@null@*/ /*@observer@*/ char *
690 osd_dirNext (char *str)
692 char *p1 = strchr (str, '/');
693 char *p2 = strchr (str, '\\');
710 else /* both not null */
712 return (p1 < p2 ? p1 : p2) + 1;
717 osd_dirShift (char *str, size_t num) /*@modifies str@*/
721 assert (num <= strlen (str));
723 for (i = 0; str[i] != '\0'; i++)
725 str[i] = str[i + num];
730 osd_dirDotdot (char *str)
732 return str[0] == '.' && str[1] == '.' && osd_isConnectChar (str[2]);
736 osd_dirNormalize (char *str)
740 for (; osd_isConnectChar (str[0]); str++)
744 for (; str != NULL && osd_dirDotdot (str); str = osd_dirNext (str))
748 for (pos1 = pos2 = str;
750 pos2 = pos1, pos1 = osd_dirNext (pos1))
752 /* remove redundant `./' entry */
753 while (pos1[0] == '.' && osd_isConnectChar (pos1[1]))
755 osd_dirShift (pos1, 2);
758 /* remove redundant `foo/../' entry */
759 if (osd_dirDotdot (pos1) && pos2 < pos1)
761 osd_dirShift (pos2, pos1 - pos2 + 1);
762 osd_dirNormalize (str);
768 osd_dirAbsolute (char *str)
771 size_t size = PATH_MAX * sizeof (*ret);
773 DPRINTF (("Absolute for: %s", str));
775 # if defined (WIN32) || defined (OS2) || defined (MSDOS)
776 if (strlen (str) > 1 && str[1] == ':')
779 ** Its a drive letter
782 ret = dmalloc ((strlen (str) + 1) * sizeof (*ret));
787 if (osd_isConnectChar (str[0]))
789 ret = dmalloc ((strlen (str) + 1) * sizeof (*ret));
794 ret = dmalloc (size);
796 ret = osd_getcwd (ret, size);
797 ret = realloc (ret, (strlen (str) + strlen (ret) + 2) * sizeof (*ret));
804 strcat (ret, CONNECTSTR);
808 osd_dirNormalize (ret);
817 ** This code is adapted from:
819 ** http://src.openresources.com/debian/src/devel/HTML/S/altgcc_2.7.2.2.orig%20altgcc-2.7.2.2.orig%20protoize.c.html#1297
822 ** Protoize program - Original version by Ron Guilmette (rfg@segfault.us.com).
823 ** Copyright (C) 1989, 1992, 1993, 1994, 1995 Free Software Foundation, Inc.
825 ** This file is part of GNU CC.
827 ** GNU CC is free software; you can redistribute it and/or modify
828 ** it under the terms of the GNU General Public License as published by
829 ** the Free Software Foundation; either version 2, or (at your option)
830 ** any later version.
832 ** GNU CC is distributed in the hope that it will be useful,
833 ** but WITHOUT ANY WARRANTY; without even the implied warranty of
834 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
835 ** GNU General Public License for more details.
837 ** You should have received a copy of the GNU General Public License
838 ** along with GNU CC; see the file COPYING. If not, write to
839 ** the Free Software Foundation, 59 Temple Place - Suite 330,
840 ** Boston, MA 02111-1307, USA.
844 ** Return the absolutized filename for the given relative
845 ** filename. Note that if that filename is already absolute, it may
846 ** still be returned in a modified form because this routine also
847 ** eliminates redundant slashes and single dots and eliminates double
848 ** dots to get a shortest possible filename from the given input
849 ** filename. The absolutization of relative filenames is made by
850 ** assuming that the given filename is to be taken as relative to
851 ** the first argument (cwd) or to the current directory if cwd is
855 /* A pointer to the current directory filename (used by abspath). */
856 static /*@only@*/ cstring osd_cwd = cstring_undefined;
858 static void osd_setWorkingDirectory (void)
860 # if defined (UNIX) || defined (OS2)
861 char *buf = dmalloc (sizeof (*buf) * MAXPATHLEN);
862 char *cwd = getcwd (buf, MAXPATHLEN);
864 llassert (cstring_isUndefined (osd_cwd));
868 lldiagmsg (message ("Cannot get working directory: %s\n",
869 lldecodeerror (errno)));
870 osd_cwd = cstring_makeLiteral ("<missing directory>");
874 osd_cwd = cstring_fromCharsNew (cwd);
879 ; /* Don't know how to do this for non-POSIX platforms */
883 void osd_initMod (void)
885 osd_setWorkingDirectory ();
888 void osd_destroyMod (void)
890 cstring_free (osd_cwd);
891 osd_cwd = cstring_undefined;
894 cstring osd_absolutePath (cstring cwd, cstring filename)
896 # if defined (UNIX) || defined (OS2)
897 /* Setup the current working directory as needed. */
898 cstring cwd2 = cstring_isDefined (cwd) ? cwd : osd_cwd;
900 char *endp, *outp, *inp;
903 llassert (cstring_isDefined (cwd2));
904 llassert (cstring_isDefined (filename));
906 abs_buffer = (char *) dmalloc (cstring_length (cwd2) + cstring_length (filename) + 2);
910 ** Copy the filename (possibly preceded by the current working
911 ** directory name) into the absolutization buffer.
917 if (!osd_isConnectChar (filename[0])
919 && !(isalpha (filename[0]) && filename[1] == ':')
925 while ((*endp++ = *src_p++) != '\0')
930 *(endp-1) = CONNECTCHAR; /* overwrite null */
935 while ((*endp++ = *src_p++) != '\0')
941 /* Now make a copy of abs_buffer into abs_buffer, shortening the
942 filename (by taking out slashes and dots) as we go. */
944 outp = inp = abs_buffer;
945 *outp++ = *inp++; /* copy first slash */
948 *outp++ = *inp++; /* copy second slash */
956 else if (osd_isConnectChar (inp[0]) && osd_isConnectChar (outp[-1]))
961 else if (inp[0] == '.' && osd_isConnectChar (outp[-1]))
967 else if (osd_isConnectChar (inp[1]))
972 else if ((inp[1] == '.')
973 && (inp[2] == '\0' || osd_isConnectChar (inp[2])))
975 inp += (osd_isConnectChar (inp[2])) ? 3 : 2;
978 while (outp >= abs_buffer && !osd_isConnectChar (*outp))
983 if (outp < abs_buffer)
985 /* Catch cases like /.. where we try to backup to a
986 point above the absolute root of the logical file
989 llfatalbug (message ("Invalid file name: %s", filename));
1008 /* On exit, make sure that there is a trailing null, and make sure that
1009 the last character of the returned string is *not* a slash. */
1012 if (osd_isConnectChar (outp[-1]))
1015 /*@noaccess cstring@*/
1016 return cstring_fromChars (abs_buffer);
1018 DPRINTF (("Here: %s", filename));
1019 return cstring_copy (filename);
1024 ** Given a filename (and possibly a directory name from which the filename
1025 ** is relative) return a string which is the shortest possible
1026 ** equivalent for the corresponding full (absolutized) filename. The
1027 ** shortest possible equivalent may be constructed by converting the
1028 ** absolutized filename to be a relative filename (i.e. relative to
1029 ** the actual current working directory). However if a relative filename
1030 ** is longer, then the full absolute filename is returned.
1032 ** KNOWN BUG: subpart of the original filename is actually a symbolic link.
1034 ** this is really horrible code...surely someone has written a less buggy version of this!
1037 cstring osd_outputPath (cstring filename)
1039 # if defined (UNIX) || defined (OS2)
1042 cstring cwd_p = osd_cwd;
1044 int unmatched_slash_count = 0;
1045 size_t filename_len = cstring_length (filename);
1047 llassertretval (filename_len > 0, filename);
1049 /*@access cstring@*/
1051 rel_buffer = (char *) dmalloc (filename_len);
1052 rel_buf_p = rel_buffer;
1057 /* Need to prevent recursive assertion failures */
1058 return cstring_copy (filename);
1061 llassert (cwd_p != NULL);
1062 llassert (path_p != NULL);
1064 while ((*cwd_p != '\0') && (*cwd_p == *path_p))
1070 if ((*cwd_p == '\0') && (*path_p == '\0' || osd_isConnectChar (*path_p))) /* whole pwd matched */
1072 if (*path_p == '\0') /* input *is* the current path! */
1074 cstring_free (rel_buffer);
1075 return cstring_makeLiteral (".");
1079 cstring_free (rel_buffer);
1080 return cstring_fromCharsNew (path_p + 1);
1086 /* drl 2002-10/14 I had to put this code back*/
1087 /* the case that needs it is when splint is given an absolute path name of a file outside of the current directory and the subdirectories below the current directory. e.g. cd /home/; splint /tmp/prog.c
1090 /* evans 2002-02-05 This is horrible code, which I've removed. I couldn't find any
1091 ** test cases that need it, so I hope I'm not breaking anything.
1095 if (*path_p != '\0')
1100 while (cwd_p >= osd_cwd && !osd_isConnectChar (*cwd_p)) /* backup to last slash */
1107 unmatched_slash_count++;
1110 /* Find out how many directory levels in cwd were *not* matched. */
1111 while (*cwd_p != '\0')
1113 if (osd_isConnectChar (*cwd_p++))
1114 unmatched_slash_count++;
1117 /* Now we know how long the "short name" will be.
1118 Reject it if longer than the input. */
1119 if (unmatched_slash_count * 3 + strlen (path_p) >= filename_len)
1121 cstring_free (rel_buffer);
1122 /* fprintf (stderr, "Returning filename: %s [%p]\n", filename); */
1123 return cstring_copy (filename);
1126 /*drl 10-14-2002 end previously removed code */
1128 /* For each of them, put a `../' at the beginning of the short name. */
1129 while (unmatched_slash_count-- > 0)
1131 /* Give up if the result gets to be longer
1132 than the absolute path name. */
1133 char * temp_rel_buf_p;
1135 /*drl This comment is necessary because for some reason Splint
1136 does not realize that the pasts where rel_buf_p is released
1139 temp_rel_buf_p = rel_buf_p;
1142 if (rel_buffer + filename_len <= temp_rel_buf_p + 3)
1145 return cstring_copy (filename);
1150 *rel_buf_p++ = CONNECTCHAR;
1153 /* Then tack on the unmatched part of the desired file's name. */
1157 if (rel_buffer + filename_len <= rel_buf_p)
1159 cstring_free (rel_buffer);
1160 return cstring_copy (filename);
1162 } /*@-usereleased@*/
1163 while ((*rel_buf_p++ = *path_p++) != '\0') ;
1166 /*@=usereleased@*/ /* Splint limitation: shouldn't need these */
1169 if (osd_isConnectChar (*(rel_buf_p-1)))
1170 *--rel_buf_p = '\0';
1172 /* fprintf (stderr, "Returning buffer: %s [%p]\n", rel_buffer, rel_buffer); */
1175 /*@noaccess cstring@*/
1177 return cstring_copy (filename);
1181 cstring osd_getCurrentDirectory ()
1183 # if defined(MSDOS) || defined(OS2)
1184 return cstring_makeLiteralTemp ("");
1186 return cstring_makeLiteralTemp ("./");