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. */
31extern int do_test (int argc, char *argv[]);
32#include <test-skeleton.c>
33
34#ifndef PATH_MAX
35# define PATH_MAX 4096
36#endif
37static char cwd[PATH_MAX];
38static size_t cwd_len;
39
40struct {
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
52struct {
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
98static int
99check_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
119int
120do_test (int argc, char ** argv)
121{
122 char * result;
123 int i, errors = 0;
124 char buf[PATH_MAX];
125
126 getcwd (buf: cwd, size: sizeof (buf));
127 cwd_len = strlen (cwd);
128
129 errno = 0;
130 if (realpath (NULL, resolved: buf) != NULL || errno != EINVAL)
131 {
132 printf (format: "%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 (name: "", resolved: buf) != NULL || errno != ENOENT)
150 {
151 printf (format: "%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 (from: symlinks[i].value, to: symlinks[i].name);
158
159 int has_dir = mkdir (path: "doesExist", mode: 0777) == 0;
160
161 int fd = has_dir ? creat (file: "doesExist/someFile", mode: 0777) : -1;
162
163 for (i = 0; i < (int) (sizeof (tests) / sizeof (tests[0])); ++i)
164 {
165 buf[0] = '\0';
166 result = realpath (name: tests[i].in, resolved: buf);
167
168 if (!check_path (result, expected: tests[i].out))
169 {
170 printf (format: "%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 if (!check_path (result: buf, expected: tests[i].out ? tests[i].out : tests[i].resolved))
178 {
179 printf (format: "%s: flunked test %d (expected resolved `%s', got `%s')\n",
180 argv[0], i, tests[i].out ? tests[i].out : tests[i].resolved,
181 buf);
182 ++errors;
183 continue;
184 }
185
186 if (!tests[i].out && errno != tests[i].error)
187 {
188 printf (format: "%s: flunked test %d (expected errno %d, got %d)\n",
189 argv[0], i, tests[i].error, errno);
190 ++errors;
191 continue;
192 }
193
194 char *result2 = realpath (name: tests[i].in, NULL);
195 if ((result2 == NULL && result != NULL)
196 || (result2 != NULL && strcmp (result, result2) != 0))
197 {
198 printf (format: "\
199%s: realpath(..., NULL) produced different result than realpath(..., buf): '%s' vs '%s'\n",
200 argv[0], result2, result);
201 ++errors;
202 }
203 free (ptr: result2);
204 }
205
206 getcwd (buf: buf, size: sizeof (buf));
207 if (strcmp (buf, cwd))
208 {
209 printf (format: "%s: current working directory changed from %s to %s\n",
210 argv[0], cwd, buf);
211 ++errors;
212 }
213
214 if (fd >= 0)
215 {
216 close (fd: fd);
217 unlink (name: "doesExist/someFile");
218 }
219
220 if (has_dir)
221 rmdir (path: "doesExist");
222
223 for (i = 0; i < (int) (sizeof (symlinks) / sizeof (symlinks[0])); ++i)
224 unlink (name: symlinks[i].name);
225
226 if (errors != 0)
227 {
228 printf (format: "%d errors.\n", errors);
229 return EXIT_FAILURE;
230 }
231
232 puts (s: "No errors.");
233 return EXIT_SUCCESS;
234}
235

source code of glibc/stdlib/test-canon.c