1 /* Return the canonical absolute name of a given file.
2 Copyright (C) 1996-2022 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <https://www.gnu.org/licenses/>. */
20 /* Don't use __attribute__ __nonnull__ in this compilation unit. Otherwise gcc
21 optimizes away the name == NULL test below. */
22 # define _GL_ARG_NONNULL(params)
24 # include <libc-config.h>
38 #include <eloop-threshold.h>
42 #include <scratch_buffer.h>
45 # include <shlib-compat.h>
47 # define _GL_ATTRIBUTE_PURE __attribute__ ((__pure__))
49 # define __canonicalize_file_name canonicalize_file_name
50 # define __realpath realpath
52 # define __faccessat faccessat
53 # if defined _WIN32 && !defined __CYGWIN__
54 # define __getcwd _getcwd
57 /* When building the relocatable program wrapper, use the system's getcwd
58 function, not the gnulib override, otherwise we would get a link error.
62 # if defined VMS && !defined getcwd
63 /* We want the directory in Unix syntax, not in VMS syntax.
64 The gnulib override of 'getcwd' takes 2 arguments; the original VMS
65 'getcwd' takes 3 arguments. */
66 # define __getcwd(buf, max) getcwd (buf, max, 0)
68 # define __getcwd getcwd
71 # define __getcwd(buf, max) getwd (buf)
73 # define __mempcpy mempcpy
74 # define __pathconf pathconf
75 # define __rawmemchr rawmemchr
76 # define __readlink readlink
78 /* When building the relocatable program wrapper, use the system's memmove
79 function, not the gnulib override, otherwise we would get a link error.
85 /* Suppress bogus GCC -Wmaybe-uninitialized warnings. */
86 #if defined GCC_LINT || defined lint
87 # define IF_LINT(Code) Code
89 # define IF_LINT(Code) /* empty */
92 #ifndef DOUBLE_SLASH_IS_DISTINCT_ROOT
93 # define DOUBLE_SLASH_IS_DISTINCT_ROOT false
96 #if defined _LIBC || !FUNC_REALPATH_WORKS
98 /* Return true if FILE's existence can be shown, false (setting errno)
99 otherwise. Follow symbolic links. */
101 file_accessible (char const *file
)
103 # if defined _LIBC || HAVE_FACCESSAT
104 return __faccessat (AT_FDCWD
, file
, F_OK
, AT_EACCESS
) == 0;
107 return stat (file
, &st
) == 0 || errno
== EOVERFLOW
;
111 /* True if concatenating END as a suffix to a file name means that the
112 code needs to check that the file name is that of a searchable
113 directory, since the canonicalize_filename_mode_stk code won't
114 check this later anyway when it checks an ordinary file name
115 component within END. END must either be empty, or start with a
118 static bool _GL_ATTRIBUTE_PURE
119 suffix_requires_dir_check (char const *end
)
121 /* If END does not start with a slash, the suffix is OK. */
122 while (ISSLASH (*end
))
124 /* Two or more slashes act like a single slash. */
127 while (ISSLASH (*end
));
131 default: return false; /* An ordinary file name component is OK. */
132 case '\0': return true; /* Trailing "/" is trouble. */
133 case '.': break; /* Possibly "." or "..". */
135 /* Trailing "/.", or "/.." even if not trailing, is trouble. */
136 if (!*end
|| (*end
== '.' && (!end
[1] || ISSLASH (end
[1]))))
143 /* Append this to a file name to test whether it is a searchable directory.
144 On POSIX platforms "/" suffices, but "/./" is sometimes needed on
145 macOS 10.13 <https://bugs.gnu.org/30350>, and should also work on
146 platforms like AIX 7.2 that need at least "/.". */
148 # if defined _LIBC || defined LSTAT_FOLLOWS_SLASHED_SYMLINK
149 static char const dir_suffix
[] = "/";
151 static char const dir_suffix
[] = "/./";
154 /* Return true if DIR is a searchable dir, false (setting errno) otherwise.
155 DIREND points to the NUL byte at the end of the DIR string.
156 Store garbage into DIREND[0 .. strlen (dir_suffix)]. */
159 dir_check (char *dir
, char *dirend
)
161 strcpy (dirend
, dir_suffix
);
162 return file_accessible (dir
);
169 long int path_max
= PATH_MAX
;
171 /* The caller invoked realpath with a null RESOLVED, even though
172 PATH_MAX is not defined as a constant. The glibc manual says
173 programs should not do this, and POSIX says the behavior is undefined.
174 Historically, glibc here used the result of pathconf, or 1024 if that
175 failed; stay consistent with this (dubious) historical practice. */
177 long int path_max
= __pathconf ("/", _PC_PATH_MAX
);
180 return path_max
< 0 ? 1024 : path_max
<= IDX_MAX
? path_max
: IDX_MAX
;
183 /* Act like __realpath (see below), with an additional argument
184 rname_buf that can be used as temporary storage.
186 If GCC_LINT is defined, do not inline this function with GCC 10.1
187 and later, to avoid creating a pointer to the stack that GCC
188 -Wreturn-local-addr incorrectly complains about. See:
189 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93644
190 Although the noinline attribute can hurt performance a bit, no better way
191 to pacify GCC is known; even an explicit #pragma does not pacify GCC.
192 When the GCC bug is fixed this workaround should be limited to the
193 broken GCC versions. */
194 # if __GNUC_PREREQ (10, 1)
195 # if defined GCC_LINT || defined lint
196 __attribute__ ((__noinline__
))
197 # elif __OPTIMIZE__ && !__NO_INLINE__
198 # define GCC_BOGUS_WRETURN_LOCAL_ADDR
202 realpath_stk (const char *name
, char *resolved
,
203 struct scratch_buffer
*rname_buf
)
212 /* As per Single Unix Specification V2 we must return an error if
213 either parameter is a null pointer. We extend this to allow
214 the RESOLVED parameter to be NULL in case the we are expected to
215 allocate the room for the return value. */
216 __set_errno (EINVAL
);
222 /* As per Single Unix Specification V2 we must return an error if
223 the name argument points to an empty string. */
224 __set_errno (ENOENT
);
228 struct scratch_buffer extra_buffer
, link_buffer
;
229 scratch_buffer_init (&extra_buffer
);
230 scratch_buffer_init (&link_buffer
);
231 scratch_buffer_init (rname_buf
);
232 char *rname_on_stack
= rname_buf
->data
;
233 char *rname
= rname_on_stack
;
234 bool end_in_extra_buffer
= false;
237 /* This is always zero for Posix hosts, but can be 2 for MS-Windows
238 and MS-DOS X:/foo/bar file names. */
239 idx_t prefix_len
= FILE_SYSTEM_PREFIX_LEN (name
);
241 if (!IS_ABSOLUTE_FILE_NAME (name
))
243 while (!__getcwd (rname
, rname_buf
->length
))
250 if (!scratch_buffer_grow (rname_buf
))
252 rname
= rname_buf
->data
;
254 dest
= __rawmemchr (rname
, '\0');
256 prefix_len
= FILE_SYSTEM_PREFIX_LEN (rname
);
260 dest
= __mempcpy (rname
, name
, prefix_len
);
262 if (DOUBLE_SLASH_IS_DISTINCT_ROOT
)
264 if (prefix_len
== 0 /* implies ISSLASH (name[0]) */
265 && ISSLASH (name
[1]) && !ISSLASH (name
[2]))
269 start
= name
+ prefix_len
;
272 for ( ; *start
; start
= end
)
274 /* Skip sequence of multiple file name separators. */
275 while (ISSLASH (*start
))
278 /* Find end of component. */
279 for (end
= start
; *end
&& !ISSLASH (*end
); ++end
)
282 /* Length of this file name component; it can be zero if a file
284 idx_t startlen
= end
- start
;
288 else if (startlen
== 1 && start
[0] == '.')
290 else if (startlen
== 2 && start
[0] == '.' && start
[1] == '.')
292 /* Back up to previous component, ignore if at root already. */
293 if (dest
> rname
+ prefix_len
+ 1)
294 for (--dest
; dest
> rname
&& !ISSLASH (dest
[-1]); --dest
)
296 if (DOUBLE_SLASH_IS_DISTINCT_ROOT
297 && dest
== rname
+ 1 && !prefix_len
298 && ISSLASH (*dest
) && !ISSLASH (dest
[1]))
303 if (!ISSLASH (dest
[-1]))
306 while (rname
+ rname_buf
->length
- dest
307 < startlen
+ sizeof dir_suffix
)
309 idx_t dest_offset
= dest
- rname
;
310 if (!scratch_buffer_grow_preserve (rname_buf
))
312 rname
= rname_buf
->data
;
313 dest
= rname
+ dest_offset
;
316 dest
= __mempcpy (dest
, start
, startlen
);
323 buf
= link_buffer
.data
;
324 idx_t bufsize
= link_buffer
.length
;
325 n
= __readlink (rname
, buf
, bufsize
- 1);
328 if (!scratch_buffer_grow (&link_buffer
))
333 if (++num_links
> __eloop_threshold ())
341 char *extra_buf
= extra_buffer
.data
;
342 idx_t end_idx
IF_LINT (= 0);
343 if (end_in_extra_buffer
)
344 end_idx
= end
- extra_buf
;
345 size_t len
= strlen (end
);
346 if (INT_ADD_OVERFLOW (len
, n
))
348 __set_errno (ENOMEM
);
351 while (extra_buffer
.length
<= len
+ n
)
353 if (!scratch_buffer_grow_preserve (&extra_buffer
))
355 extra_buf
= extra_buffer
.data
;
357 if (end_in_extra_buffer
)
358 end
= extra_buf
+ end_idx
;
360 /* Careful here, end may be a pointer into extra_buf... */
361 memmove (&extra_buf
[n
], end
, len
+ 1);
362 name
= end
= memcpy (extra_buf
, buf
, n
);
363 end_in_extra_buffer
= true;
365 if (IS_ABSOLUTE_FILE_NAME (buf
))
367 idx_t pfxlen
= FILE_SYSTEM_PREFIX_LEN (buf
);
369 dest
= __mempcpy (rname
, buf
, pfxlen
);
370 *dest
++ = '/'; /* It's an absolute symlink */
371 if (DOUBLE_SLASH_IS_DISTINCT_ROOT
)
373 if (ISSLASH (buf
[1]) && !ISSLASH (buf
[2]) && !pfxlen
)
377 /* Install the new prefix to be in effect hereafter. */
382 /* Back up to previous component, ignore if at root
384 if (dest
> rname
+ prefix_len
+ 1)
385 for (--dest
; dest
> rname
&& !ISSLASH (dest
[-1]); --dest
)
387 if (DOUBLE_SLASH_IS_DISTINCT_ROOT
&& dest
== rname
+ 1
388 && ISSLASH (*dest
) && !ISSLASH (dest
[1]) && !prefix_len
)
392 else if (! (suffix_requires_dir_check (end
)
393 ? dir_check (rname
, dest
)
398 if (dest
> rname
+ prefix_len
+ 1 && ISSLASH (dest
[-1]))
400 if (DOUBLE_SLASH_IS_DISTINCT_ROOT
&& dest
== rname
+ 1 && !prefix_len
401 && ISSLASH (*dest
) && !ISSLASH (dest
[1]))
407 if (resolved
!= NULL
&& dest
- rname
<= get_path_max ())
408 rname
= strcpy (resolved
, rname
);
411 scratch_buffer_free (&extra_buffer
);
412 scratch_buffer_free (&link_buffer
);
414 if (failed
|| rname
== resolved
)
416 scratch_buffer_free (rname_buf
);
417 return failed
? NULL
: resolved
;
420 return scratch_buffer_dupfree (rname_buf
, dest
- rname
);
423 /* Return the canonical absolute name of file NAME. A canonical name
424 does not contain any ".", ".." components nor any repeated file name
425 separators ('/') or symlinks. All file name components must exist. If
426 RESOLVED is null, the result is malloc'd; otherwise, if the
427 canonical name is PATH_MAX chars or more, returns null with 'errno'
428 set to ENAMETOOLONG; if the name fits in fewer than PATH_MAX chars,
429 returns the name in RESOLVED. If the name cannot be resolved and
430 RESOLVED is non-NULL, it contains the name of the first component
431 that cannot be resolved. If the name can be resolved, RESOLVED
432 holds the same value as the value returned. */
435 __realpath (const char *name
, char *resolved
)
437 #ifdef GCC_BOGUS_WRETURN_LOCAL_ADDR
438 #warning "GCC might issue a bogus -Wreturn-local-addr warning here."
439 #warning "See <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93644>."
441 struct scratch_buffer rname_buffer
;
442 return realpath_stk (name
, resolved
, &rname_buffer
);
444 libc_hidden_def (__realpath
)
445 versioned_symbol (libc
, __realpath
, realpath
, GLIBC_2_3
);
447 #endif /* defined _LIBC || !FUNC_REALPATH_WORKS */
450 #if SHLIB_COMPAT(libc, GLIBC_2_0, GLIBC_2_3)
452 attribute_compat_text_section
453 __old_realpath (const char *name
, char *resolved
)
455 if (resolved
== NULL
)
457 __set_errno (EINVAL
);
461 return __realpath (name
, resolved
);
463 compat_symbol (libc
, __old_realpath
, realpath
, GLIBC_2_0
);
468 __canonicalize_file_name (const char *name
)
470 return __realpath (name
, NULL
);
472 weak_alias (__canonicalize_file_name
, canonicalize_file_name
)