| /* Test of execution of file name canonicalization. |
| Copyright (C) 2007-2020 Free Software Foundation, Inc. |
| |
| This program is free software: you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 3 of the License, or |
| (at your option) any later version. |
| |
| This program is distributed in the hope that it will be useful, |
| but WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| GNU General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program. If not, see <https://www.gnu.org/licenses/>. */ |
| |
| /* Written by Bruno Haible <bruno@clisp.org>, 2007. */ |
| |
| /* Don't use __attribute__ __nonnull__ in this compilation unit. Otherwise gcc |
| may "optimize" the null_ptr function, when its result gets passed to a |
| function that has an argument declared as _GL_ARG_NONNULL. */ |
| #define _GL_ARG_NONNULL(params) |
| |
| #include <config.h> |
| |
| #include <stdlib.h> |
| |
| #include "signature.h" |
| SIGNATURE_CHECK (realpath, char *, (const char *, char *)); |
| SIGNATURE_CHECK (canonicalize_file_name, char *, (const char *)); |
| |
| #include <errno.h> |
| #include <fcntl.h> |
| #include <stdio.h> |
| #include <string.h> |
| #include <sys/stat.h> |
| #include <unistd.h> |
| |
| #include "same-inode.h" |
| #include "ignore-value.h" |
| |
| #if GNULIB_defined_canonicalize_file_name |
| # include "null-ptr.h" |
| #endif |
| |
| #include "macros.h" |
| |
| #define BASE "t-can-lgpl.tmp" |
| |
| int |
| main (void) |
| { |
| #if GNULIB_TEST_CANONICALIZE |
| /* No need to test canonicalize-lgpl module if canonicalize is also |
| in use. */ |
| return 0; |
| #endif |
| |
| /* Setup some hierarchy to be used by this test. Start by removing |
| any leftovers from a previous partial run. */ |
| { |
| int fd; |
| ignore_value (system ("rm -rf " BASE " ise")); |
| ASSERT (mkdir (BASE, 0700) == 0); |
| fd = creat (BASE "/tra", 0600); |
| ASSERT (0 <= fd); |
| ASSERT (close (fd) == 0); |
| } |
| |
| /* Check for ., .., intermediate // handling, and for error cases. */ |
| { |
| char *result = canonicalize_file_name (BASE "//./..//" BASE "/tra"); |
| ASSERT (result != NULL); |
| ASSERT (strstr (result, "/" BASE "/tra") |
| == result + strlen (result) - strlen ("/" BASE "/tra")); |
| free (result); |
| |
| errno = 0; |
| result = canonicalize_file_name (""); |
| ASSERT (result == NULL); |
| ASSERT (errno == ENOENT); |
| |
| /* This test works only if the canonicalize_file_name implementation |
| comes from gnulib. If it comes from libc, we have no way to prevent |
| gcc from "optimizing" the null_ptr function in invalid ways. See |
| <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93156>. */ |
| #if GNULIB_defined_canonicalize_file_name |
| errno = 0; |
| result = canonicalize_file_name (null_ptr ()); |
| ASSERT (result == NULL); |
| ASSERT (errno == EINVAL); |
| #endif |
| } |
| |
| /* Check that a non-directory with trailing slash yields NULL. */ |
| { |
| char *result; |
| errno = 0; |
| result = canonicalize_file_name (BASE "/tra/"); |
| ASSERT (result == NULL); |
| ASSERT (errno == ENOTDIR); |
| } |
| |
| /* Check that a missing directory yields NULL. */ |
| { |
| char *result; |
| errno = 0; |
| result = canonicalize_file_name (BASE "/zzz/.."); |
| ASSERT (result == NULL); |
| ASSERT (errno == ENOENT); |
| } |
| |
| /* From here on out, tests involve symlinks. */ |
| if (symlink (BASE "/ket", "ise") != 0) |
| { |
| ASSERT (remove (BASE "/tra") == 0); |
| ASSERT (rmdir (BASE) == 0); |
| fputs ("skipping test: symlinks not supported on this file system\n", |
| stderr); |
| return 77; |
| } |
| ASSERT (symlink ("bef", BASE "/plo") == 0); |
| ASSERT (symlink ("tra", BASE "/huk") == 0); |
| ASSERT (symlink ("lum", BASE "/bef") == 0); |
| ASSERT (symlink ("wum", BASE "/ouk") == 0); |
| ASSERT (symlink ("../ise", BASE "/ket") == 0); |
| ASSERT (mkdir (BASE "/lum", 0700) == 0); |
| ASSERT (symlink ("//.//../..", BASE "/droot") == 0); |
| |
| /* Check that the symbolic link to a file can be resolved. */ |
| { |
| char *result1 = canonicalize_file_name (BASE "/huk"); |
| char *result2 = canonicalize_file_name (BASE "/tra"); |
| ASSERT (result1 != NULL); |
| ASSERT (result2 != NULL); |
| ASSERT (strcmp (result1, result2) == 0); |
| ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/tra"), |
| "/" BASE "/tra") == 0); |
| free (result1); |
| free (result2); |
| } |
| |
| /* Check that the symbolic link to a directory can be resolved. */ |
| { |
| char *result1 = canonicalize_file_name (BASE "/plo"); |
| char *result2 = canonicalize_file_name (BASE "/bef"); |
| char *result3 = canonicalize_file_name (BASE "/lum"); |
| ASSERT (result1 != NULL); |
| ASSERT (result2 != NULL); |
| ASSERT (result3 != NULL); |
| ASSERT (strcmp (result1, result2) == 0); |
| ASSERT (strcmp (result2, result3) == 0); |
| ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/lum"), |
| "/" BASE "/lum") == 0); |
| free (result1); |
| free (result2); |
| free (result3); |
| } |
| |
| /* Check that a symbolic link to a nonexistent file yields NULL. */ |
| { |
| char *result; |
| errno = 0; |
| result = canonicalize_file_name (BASE "/ouk"); |
| ASSERT (result == NULL); |
| ASSERT (errno == ENOENT); |
| } |
| |
| /* Check that a non-directory symlink with trailing slash yields NULL. */ |
| { |
| char *result; |
| errno = 0; |
| result = canonicalize_file_name (BASE "/huk/"); |
| ASSERT (result == NULL); |
| ASSERT (errno == ENOTDIR); |
| } |
| |
| /* Check that a missing directory via symlink yields NULL. */ |
| { |
| char *result; |
| errno = 0; |
| result = canonicalize_file_name (BASE "/ouk/.."); |
| ASSERT (result == NULL); |
| ASSERT (errno == ENOENT); |
| } |
| |
| /* Check that a loop of symbolic links is detected. */ |
| { |
| char *result; |
| errno = 0; |
| result = canonicalize_file_name ("ise"); |
| ASSERT (result == NULL); |
| ASSERT (errno == ELOOP); |
| } |
| |
| /* Check that leading // is honored correctly. */ |
| { |
| struct stat st1; |
| struct stat st2; |
| char *result1 = canonicalize_file_name ("//."); |
| char *result2 = canonicalize_file_name (BASE "/droot"); |
| ASSERT (result1); |
| ASSERT (result2); |
| ASSERT (stat ("/", &st1) == 0); |
| ASSERT (stat ("//", &st2) == 0); |
| /* On IBM z/OS, "/" and "//" are distinct, yet they both have |
| st_dev == st_ino == 1. */ |
| #ifndef __MVS__ |
| if (SAME_INODE (st1, st2)) |
| { |
| ASSERT (strcmp (result1, "/") == 0); |
| ASSERT (strcmp (result2, "/") == 0); |
| } |
| else |
| #endif |
| { |
| ASSERT (strcmp (result1, "//") == 0); |
| ASSERT (strcmp (result2, "//") == 0); |
| } |
| free (result1); |
| free (result2); |
| } |
| |
| |
| /* Cleanup. */ |
| ASSERT (remove (BASE "/droot") == 0); |
| ASSERT (remove (BASE "/plo") == 0); |
| ASSERT (remove (BASE "/huk") == 0); |
| ASSERT (remove (BASE "/bef") == 0); |
| ASSERT (remove (BASE "/ouk") == 0); |
| ASSERT (remove (BASE "/ket") == 0); |
| ASSERT (remove (BASE "/lum") == 0); |
| ASSERT (remove (BASE "/tra") == 0); |
| ASSERT (remove (BASE) == 0); |
| ASSERT (remove ("ise") == 0); |
| |
| return 0; |
| } |