aboutsummaryrefslogtreecommitdiff
path: root/gdb
diff options
context:
space:
mode:
authorJoel Brobecker <brobecker@gnat.com>2002-04-05 16:39:11 +0000
committerJoel Brobecker <brobecker@gnat.com>2002-04-05 16:39:11 +0000
commit303c8ebdfeffcdf06248b2dc1cebe7149e9d9823 (patch)
tree8480de9951e0a393919ba589ba08fa1a9b1b367f /gdb
parent46fe161328fcd6aab98d8ec922b758a6416395e0 (diff)
downloadgdb-303c8ebdfeffcdf06248b2dc1cebe7149e9d9823.zip
gdb-303c8ebdfeffcdf06248b2dc1cebe7149e9d9823.tar.gz
gdb-303c8ebdfeffcdf06248b2dc1cebe7149e9d9823.tar.bz2
(xfullpath): New function.
Diffstat (limited to 'gdb')
-rw-r--r--gdb/utils.c48
1 files changed, 48 insertions, 0 deletions
diff --git a/gdb/utils.c b/gdb/utils.c
index 3323193..4baea62 100644
--- a/gdb/utils.c
+++ b/gdb/utils.c
@@ -61,6 +61,7 @@
#include "expression.h"
#include "language.h"
#include "annotate.h"
+#include "filenames.h"
#include "inferior.h" /* for signed_pointer_to_address */
@@ -2560,3 +2561,50 @@ gdb_realpath (const char *filename)
return xstrdup (filename);
#endif
}
+
+/* Return a copy of FILENAME, with its directory prefix canonicalized
+ by gdb_realpath. */
+
+char *
+xfullpath (const char *filename)
+{
+ const char *base_name = lbasename (filename);
+ char *dir_name;
+ char *real_path;
+ char *result;
+
+ /* Extract the basename of filename, and return immediately
+ a copy of filename if it does not contain any directory prefix. */
+ if (base_name == filename)
+ return xstrdup (filename);
+
+ dir_name = alloca ((size_t) (base_name - filename + 2));
+ /* Allocate enough space to store the dir_name + plus one extra
+ character sometimes needed under Windows (see below), and
+ then the closing \000 character */
+ strncpy (dir_name, filename, base_name - filename);
+ dir_name[base_name - filename] = '\000';
+
+#ifdef HAVE_DOS_BASED_FILE_SYSTEM
+ /* We need to be careful when filename is of the form 'd:foo', which
+ is equivalent of d:./foo, which is totally different from d:/foo. */
+ if (strlen (dir_name) == 2 &&
+ isalpha (dir_name[0]) && dir_name[1] == ':')
+ {
+ dir_name[2] = '.';
+ dir_name[3] = '\000';
+ }
+#endif
+
+ /* Canonicalize the directory prefix, and build the resulting
+ filename. If the dirname realpath already contains an ending
+ directory separator, avoid doubling it. */
+ real_path = gdb_realpath (dir_name);
+ if (IS_DIR_SEPARATOR (real_path[strlen (real_path) - 1]))
+ result = concat (real_path, base_name, NULL);
+ else
+ result = concat (real_path, SLASH_STRING, base_name, NULL);
+
+ xfree (real_path);
+ return result;
+}