mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-04-28 06:33:36 +00:00
64e78e4467
Done through sed -e 's/strcmp \([(][^()]*[)]\) == 0/streq \1/' * tests/**/*.[hc]: Use streq instead of strcmp ... == 0. * modules/*-tests (Dependencies): Add streq.
306 lines
9.2 KiB
C
306 lines
9.2 KiB
C
/* Test of execution of file name canonicalization.
|
|
Copyright (C) 2007-2026 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 // handling (the easy cases, without symlinks).
|
|
This // handling is not mandated by POSIX. However, many applications
|
|
expect that canonicalize_file_name "canonicalizes" the file name,
|
|
that is, that different results of canonicalize_file_name correspond
|
|
to different files (except for hard links). */
|
|
{
|
|
char *result0 = canonicalize_file_name ("/etc/passwd");
|
|
if (result0 != NULL) /* This file does not exist on native Windows. */
|
|
{
|
|
char *result;
|
|
|
|
result = canonicalize_file_name ("/etc//passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
|
|
result = canonicalize_file_name ("/etc///passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
|
|
/* On Windows, the syntax //host/share/filename denotes a file
|
|
in a directory named 'share', exported from host 'host'.
|
|
See also m4/double-slash-root.m4. */
|
|
#if !(defined _WIN32 || defined __CYGWIN__)
|
|
result = canonicalize_file_name ("//etc/passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
|
|
result = canonicalize_file_name ("//etc//passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
|
|
result = canonicalize_file_name ("//etc///passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
#endif
|
|
|
|
result = canonicalize_file_name ("///etc/passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
|
|
result = canonicalize_file_name ("///etc//passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
|
|
result = canonicalize_file_name ("///etc///passwd");
|
|
ASSERT (result != NULL && streq (result, result0));
|
|
}
|
|
}
|
|
|
|
/* 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/PR93156>. */
|
|
#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);
|
|
if (test_exit_status != EXIT_SUCCESS)
|
|
return test_exit_status;
|
|
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 (streq (result1, result2));
|
|
ASSERT (str_endswith (result1, "/" BASE "/tra"));
|
|
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 (streq (result1, result2));
|
|
ASSERT (streq (result2, result3));
|
|
ASSERT (str_endswith (result1, "/" BASE "/lum"));
|
|
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,
|
|
and likewise for other troublesome suffixes. */
|
|
{
|
|
char const *const file_name[]
|
|
= {
|
|
BASE "/huk/",
|
|
BASE "/huk/.",
|
|
BASE "/huk/./",
|
|
BASE "/huk/./.",
|
|
BASE "/huk/x",
|
|
BASE "/huk/..",
|
|
BASE "/huk/../",
|
|
BASE "/huk/../.",
|
|
BASE "/huk/../x",
|
|
BASE "/huk/./..",
|
|
BASE "/huk/././../x",
|
|
};
|
|
for (int i = 0; i < sizeof file_name / sizeof *file_name; i++)
|
|
{
|
|
errno = 0;
|
|
ASSERT (!canonicalize_file_name (file_name[i]));
|
|
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 // within symlinks 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);
|
|
bool same = psame_inode (&st1, &st2);
|
|
#if defined __MVS__
|
|
/* On IBM z/OS, "/" and "//" both canonicalize to themselves, yet they both
|
|
have st_dev == st_ino == 1. */
|
|
same = false;
|
|
#endif
|
|
if (same)
|
|
{
|
|
ASSERT (streq (result1, "/"));
|
|
ASSERT (streq (result2, "/"));
|
|
}
|
|
else
|
|
{
|
|
ASSERT (streq (result1, "//"));
|
|
ASSERT (streq (result2, "//"));
|
|
}
|
|
free (result1);
|
|
free (result2);
|
|
}
|
|
|
|
#if !(defined _WIN32 && !defined __CYGWIN__)
|
|
/* Check a device file. */
|
|
{
|
|
char *result = canonicalize_file_name ("/dev/null");
|
|
ASSERT (result != NULL);
|
|
}
|
|
#endif
|
|
|
|
/* 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 test_exit_status;
|
|
}
|