stdlib/test-canon.c

   1 /* Test program for returning 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.
   4
   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.
   9
  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.
  14
  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/>.  */
  18
  19 /* This file must be run from within a directory called "stdlib".  */
  20
  21 #include <errno.h>
  22 #include <fcntl.h>
  23 #include <stdio.h>
  24 #include <stdlib.h>
  25 #include <string.h>
  26 #include <unistd.h>
  27 #include <sys/param.h>
  28 #include <sys/stat.h>
  29
  30 /* Prototype for our test function.  */
  31 extern int do_test (int argc, char *argv[]);
  32 #include <test-skeleton.c>
  33
  34 #ifndef PATH_MAX
  35 # define PATH_MAX 4096
  36 #endif
  37 static char     cwd[PATH_MAX];
  38 static size_t   cwd_len;
  39
  40 struct {
  41   const char *  name;
  42   const char *  value;
  43 } symlinks[] = {
  44   {"SYMLINK_LOOP",      "SYMLINK_LOOP"},
  45   {"SYMLINK_1",         "."},
  46   {"SYMLINK_2",         "//////./../../etc"},
  47   {"SYMLINK_3",         "SYMLINK_1"},
  48   {"SYMLINK_4",         "SYMLINK_2"},
  49   {"SYMLINK_5",         "doesNotExist"},
  50 };
  51
  52 struct {
  53   const char * in, * out, * resolved;
  54   int error;
  55 } tests[] = {
  56   /*  0 */
  57   {"/",                                 "/"},
  58   {"/////////////////////////////////", "/"},
  59   {"/.././.././.././..///",             "/"},
  60   {"/etc",                              "/etc"},
  61   {"/etc/../etc",                       "/etc"},
  62   /*  5 */
  63   {"/doesNotExist/../etc",              0, "/doesNotExist", ENOENT},
  64   {"./././././././././.",               "."},
  65   {"/etc/.//doesNotExist",              0, "/etc/doesNotExist", ENOENT},
  66   {"./doesExist",                       "./doesExist"},
  67   {"./doesExist/",                      "./doesExist"},
  68   /* 10 */
  69   {"./doesExist/../doesExist",          "./doesExist"},
  70   {"foobar",                            0, "./foobar", ENOENT},
  71   {".",                                 "."},
  72   {"./foobar",                          0, "./foobar", ENOENT},
  73   {"SYMLINK_LOOP",                      0, "./SYMLINK_LOOP", ELOOP},
  74   /* 15 */
  75   {"./SYMLINK_LOOP",                    0, "./SYMLINK_LOOP", ELOOP},
  76   {"SYMLINK_1",                         "."},
  77   {"SYMLINK_1/foobar",                  0, "./foobar", ENOENT},
  78   {"SYMLINK_2",                         "/etc"},
  79   {"SYMLINK_3",                         "."},
  80   /* 20 */
  81   {"SYMLINK_4",                         "/etc"},
  82   {"../stdlib/SYMLINK_1",               "."},
  83   {"../stdlib/SYMLINK_2",               "/etc"},
  84   {"../stdlib/SYMLINK_3",               "."},
  85   {"../stdlib/SYMLINK_4",               "/etc"},
  86   /* 25 */
  87   {"./SYMLINK_5",                       0, "./doesNotExist", ENOENT},
  88   {"SYMLINK_5",                         0, "./doesNotExist", ENOENT},
  89   {"SYMLINK_5/foobar",                  0, "./doesNotExist", ENOENT},
  90   {"doesExist/../../stdlib/doesExist",  "./doesExist"},
  91   {"doesExist/.././../stdlib/.",        "."},
  92   /* 30 */
  93   {"./doesExist/someFile/",             0, "./doesExist/someFile", ENOTDIR},
  94   {"./doesExist/someFile/..",           0, "./doesExist/someFile", ENOTDIR},
  95 };
  96
  97
  98 static int
  99 check_path (const char * result, const char * expected)
 100 {
 101   int good;
 102
 103   if (!result)
 104     return (expected == NULL);
 105
 106   if (!expected)
 107     return 0;
 108
 109   if (expected[0] == '.' && (expected[1] == '/' || expected[1] == '\0'))
 110     good = (strncmp (result, cwd, cwd_len) == 0
 111             && strcmp (result + cwd_len, expected + 1) == 0);
 112   else
 113     good = (strcmp (expected, result) == 0);
 114
 115   return good;
 116 }
 117
 118
 119 int
 120 do_test (int argc, char ** argv)
 121 {
 122   char * result;
 123   int i, errors = 0;
 124   char buf[PATH_MAX];
 125
 126   getcwd (cwd, sizeof (buf));
 127   cwd_len = strlen (cwd);
 128
 129   errno = 0;
 130   if (realpath (NULL, buf) != NULL || errno != EINVAL)
 131     {
 132       printf ("%s: expected return value NULL and errno set to EINVAL"
 133               " for realpath(NULL,...)\n", argv[0]);
 134       ++errors;
 135     }
 136
 137 #if 0
 138   /* This is now allowed.  The test is invalid.  */
 139   errno = 0;
 140   if (realpath ("/", NULL) != NULL || errno != EINVAL)
 141     {
 142       printf ("%s: expected return value NULL and errno set to EINVAL"
 143               " for realpath(...,NULL)\n", argv[0]);
 144       ++errors;
 145     }
 146 #endif
 147
 148   errno = 0;
 149   if (realpath ("", buf) != NULL || errno != ENOENT)
 150     {
 151       printf ("%s: expected return value NULL and set errno to ENOENT"
 152               " for realpath(\"\",...)\n", argv[0]);
 153       ++errors;
 154     }
 155
 156   for (i = 0; i < (int) (sizeof (symlinks) / sizeof (symlinks[0])); ++i)
 157     symlink (symlinks[i].value, symlinks[i].name);
 158
 159   int has_dir = mkdir ("doesExist", 0777) == 0;
 160
 161   int fd = has_dir ? creat ("doesExist/someFile", 0777) : -1;
 162
 163   for (i = 0; i < (int) (sizeof (tests) / sizeof (tests[0])); ++i)
 164     {
 165       buf[0] = '\0';
 166       result = realpath (tests[i].in, buf);
 167
 168       if (!check_path (result, tests[i].out))
 169         {
 170           printf ("%s: flunked test %d (expected `%s', got `%s')\n",
 171                   argv[0], i, tests[i].out ? tests[i].out : "NULL",
 172                   result ? result : "NULL");
 173           ++errors;
 174           continue;
 175         }
 176
 177       /* Only on success verify that buf contains the result too.  */
 178       if (result != NULL
 179           && !check_path (buf, tests[i].out ? tests[i].out : tests[i].resolved))
 180         {
 181           printf ("%s: flunked test %d (expected resolved `%s', got `%s')\n",
 182                   argv[0], i, tests[i].out ? tests[i].out : tests[i].resolved,
 183                   buf);
 184           ++errors;
 185           continue;
 186         }
 187
 188       if (!tests[i].out && errno != tests[i].error)
 189         {
 190           printf ("%s: flunked test %d (expected errno %d, got %d)\n",
 191                   argv[0], i, tests[i].error, errno);
 192           ++errors;
 193           continue;
 194         }
 195
 196       char *result2 = realpath (tests[i].in, NULL);
 197       if ((result2 == NULL && result != NULL)
 198           || (result2 != NULL && strcmp (result, result2) != 0))
 199         {
 200           printf ("\
 201 %s: realpath(..., NULL) produced different result than realpath(..., buf): '%s' vs '%s'\n",
 202                   argv[0], result2, result);
 203           ++errors;
 204         }
 205       free (result2);
 206     }
 207
 208   getcwd (buf, sizeof (buf));
 209   if (strcmp (buf, cwd))
 210     {
 211       printf ("%s: current working directory changed from %s to %s\n",
 212               argv[0], cwd, buf);
 213       ++errors;
 214     }
 215
 216   if (fd >= 0)
 217     {
 218       close (fd);
 219       unlink ("doesExist/someFile");
 220     }
 221
 222   if (has_dir)
 223     rmdir ("doesExist");
 224
 225   for (i = 0; i < (int) (sizeof (symlinks) / sizeof (symlinks[0])); ++i)
 226     unlink (symlinks[i].name);
 227
 228   if (errors != 0)
 229     {
 230       printf ("%d errors.\n", errors);
 231       return EXIT_FAILURE;
 232     }
 233
 234   puts ("No errors.");
 235   return EXIT_SUCCESS;
 236 }