1 /* Test of execution of file name canonicalization.
2 Copyright (C) 2007-2009 Free Software Foundation, Inc.
4 This program is free software: you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 3 of the License, or
7 (at your option) any later version.
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
17 /* Written by Bruno Haible <bruno@clisp.org>, 2007. */
21 #include "canonicalize.h"
31 #include "same-inode.h"
34 # define symlink(a,b) (-1)
37 #define ASSERT(expr) \
42 fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
49 #define BASE "t-can.tmp"
54 /* Setup some hierarchy to be used by this test. Start by removing
55 any leftovers from a previous partial run. */
58 ASSERT (system ("rm -rf " BASE " ise") == 0);
59 ASSERT (mkdir (BASE, 0700) == 0);
60 fd = creat (BASE "/tra", 0600);
62 ASSERT (close (fd) == 0);
65 /* Check for ., .., intermediate // handling, and for error cases. */
67 char *result1 = canonicalize_file_name (BASE "//./..//" BASE "/tra");
68 char *result2 = canonicalize_filename_mode (BASE "//./..//" BASE "/tra",
70 ASSERT (result1 != NULL);
71 ASSERT (result2 != NULL);
72 ASSERT (strcmp (result1, result2) == 0);
73 ASSERT (strstr (result1, "/" BASE "/tra")
74 == result1 + strlen (result1) - strlen ("/" BASE "/tra"));
78 result1 = canonicalize_file_name ("");
79 ASSERT (result1 == NULL);
80 ASSERT (errno == ENOENT);
82 result2 = canonicalize_filename_mode ("", CAN_EXISTING);
83 ASSERT (result2 == NULL);
84 ASSERT (errno == ENOENT);
86 result1 = canonicalize_file_name (NULL);
87 ASSERT (result1 == NULL);
88 ASSERT (errno == EINVAL);
90 result2 = canonicalize_filename_mode (NULL, CAN_EXISTING);
91 ASSERT (result2 == NULL);
92 ASSERT (errno == EINVAL);
95 /* Check that a non-directory with trailing slash yields NULL. */
100 result1 = canonicalize_file_name (BASE "/tra/");
101 ASSERT (result1 == NULL);
102 ASSERT (errno == ENOTDIR);
104 result2 = canonicalize_filename_mode (BASE "/tra/", CAN_EXISTING);
105 ASSERT (result2 == NULL);
106 ASSERT (errno == ENOTDIR);
109 /* Check that a missing directory yields NULL. */
114 result1 = canonicalize_file_name (BASE "/zzz/..");
115 ASSERT (result1 == NULL);
116 ASSERT (errno == ENOENT);
118 result2 = canonicalize_filename_mode (BASE "/zzz/..", CAN_EXISTING);
119 ASSERT (result2 == NULL);
120 ASSERT (errno == ENOENT);
123 /* From here on out, tests involve symlinks. */
124 if (symlink (BASE "/ket", "ise") != 0)
126 ASSERT (remove (BASE "/tra") == 0);
127 ASSERT (rmdir (BASE) == 0);
128 fputs ("skipping test: symlinks not supported on this filesystem\n",
132 ASSERT (symlink ("bef", BASE "/plo") == 0);
133 ASSERT (symlink ("tra", BASE "/huk") == 0);
134 ASSERT (symlink ("lum", BASE "/bef") == 0);
135 ASSERT (symlink ("wum", BASE "/ouk") == 0);
136 ASSERT (symlink ("../ise", BASE "/ket") == 0);
137 ASSERT (mkdir (BASE "/lum", 0700) == 0);
138 ASSERT (symlink ("s", BASE "/p") == 0);
139 ASSERT (symlink ("d", BASE "/s") == 0);
140 ASSERT (mkdir (BASE "/d", 0700) == 0);
141 ASSERT (close (creat (BASE "/d/2", 0600)) == 0);
142 ASSERT (symlink ("../s/2", BASE "/d/1") == 0);
143 ASSERT (symlink ("//.//../..", BASE "/droot") == 0);
145 /* Check that the symbolic link to a file can be resolved. */
147 char *result1 = canonicalize_file_name (BASE "/huk");
148 char *result2 = canonicalize_file_name (BASE "/tra");
149 char *result3 = canonicalize_filename_mode (BASE "/huk", CAN_EXISTING);
150 ASSERT (result1 != NULL);
151 ASSERT (result2 != NULL);
152 ASSERT (result3 != NULL);
153 ASSERT (strcmp (result1, result2) == 0);
154 ASSERT (strcmp (result2, result3) == 0);
155 ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/tra"),
156 "/" BASE "/tra") == 0);
162 /* Check that the symbolic link to a directory can be resolved. */
164 char *result1 = canonicalize_file_name (BASE "/plo");
165 char *result2 = canonicalize_file_name (BASE "/bef");
166 char *result3 = canonicalize_file_name (BASE "/lum");
167 char *result4 = canonicalize_filename_mode (BASE "/plo", CAN_EXISTING);
168 ASSERT (result1 != NULL);
169 ASSERT (result2 != NULL);
170 ASSERT (result3 != NULL);
171 ASSERT (result4 != NULL);
172 ASSERT (strcmp (result1, result2) == 0);
173 ASSERT (strcmp (result2, result3) == 0);
174 ASSERT (strcmp (result3, result4) == 0);
175 ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/lum"),
176 "/" BASE "/lum") == 0);
183 /* Check that a symbolic link to a nonexistent file yields NULL. */
188 result1 = canonicalize_file_name (BASE "/ouk");
189 ASSERT (result1 == NULL);
190 ASSERT (errno == ENOENT);
192 result2 = canonicalize_filename_mode (BASE "/ouk", CAN_EXISTING);
193 ASSERT (result2 == NULL);
194 ASSERT (errno == ENOENT);
197 /* Check that a non-directory symlink with trailing slash yields NULL. */
202 result1 = canonicalize_file_name (BASE "/huk/");
203 ASSERT (result1 == NULL);
204 ASSERT (errno == ENOTDIR);
206 result2 = canonicalize_filename_mode (BASE "/huk/", CAN_EXISTING);
207 ASSERT (result2 == NULL);
208 ASSERT (errno == ENOTDIR);
211 /* Check that a missing directory via symlink yields NULL. */
216 result1 = canonicalize_file_name (BASE "/ouk/..");
217 ASSERT (result1 == NULL);
218 ASSERT (errno == ENOENT);
220 result2 = canonicalize_filename_mode (BASE "/ouk/..", CAN_EXISTING);
221 ASSERT (result2 == NULL);
222 ASSERT (errno == ENOENT);
225 /* Check that a loop of symbolic links is detected. */
230 result1 = canonicalize_file_name ("ise");
231 ASSERT (result1 == NULL);
232 ASSERT (errno == ELOOP);
234 result2 = canonicalize_filename_mode ("ise", CAN_EXISTING);
235 ASSERT (result2 == NULL);
236 ASSERT (errno == ELOOP);
239 /* Check that alternate modes can resolve missing basenames. */
241 char *result1 = canonicalize_filename_mode (BASE "/zzz", CAN_ALL_BUT_LAST);
242 char *result2 = canonicalize_filename_mode (BASE "/zzz", CAN_MISSING);
243 char *result3 = canonicalize_filename_mode (BASE "/zzz/", CAN_ALL_BUT_LAST);
244 char *result4 = canonicalize_filename_mode (BASE "/zzz/", CAN_MISSING);
245 ASSERT (result1 != NULL);
246 ASSERT (result2 != NULL);
247 ASSERT (result3 != NULL);
248 ASSERT (result4 != NULL);
249 ASSERT (strcmp (result1, result2) == 0);
250 ASSERT (strcmp (result2, result3) == 0);
251 ASSERT (strcmp (result3, result4) == 0);
252 ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/zzz"),
253 "/" BASE "/zzz") == 0);
260 /* Check that alternate modes can resolve broken symlink basenames. */
262 char *result1 = canonicalize_filename_mode (BASE "/ouk", CAN_ALL_BUT_LAST);
263 char *result2 = canonicalize_filename_mode (BASE "/ouk", CAN_MISSING);
264 char *result3 = canonicalize_filename_mode (BASE "/ouk/", CAN_ALL_BUT_LAST);
265 char *result4 = canonicalize_filename_mode (BASE "/ouk/", CAN_MISSING);
266 ASSERT (result1 != NULL);
267 ASSERT (result2 != NULL);
268 ASSERT (result3 != NULL);
269 ASSERT (result4 != NULL);
270 ASSERT (strcmp (result1, result2) == 0);
271 ASSERT (strcmp (result2, result3) == 0);
272 ASSERT (strcmp (result3, result4) == 0);
273 ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/wum"),
274 "/" BASE "/wum") == 0);
281 /* Check that alternate modes can handle missing dirnames. */
283 char *result1 = canonicalize_filename_mode ("t-can.zzz/zzz", CAN_ALL_BUT_LAST);
284 char *result2 = canonicalize_filename_mode ("t-can.zzz/zzz", CAN_MISSING);
285 ASSERT (result1 == NULL);
286 ASSERT (result2 != NULL);
287 ASSERT (strcmp (result2 + strlen (result2) - 14, "/t-can.zzz/zzz") == 0);
291 /* Ensure that the following is resolved properly.
292 Before 2007-09-27, it would mistakenly report a loop. */
294 char *result1 = canonicalize_filename_mode (BASE, CAN_EXISTING);
295 char *result2 = canonicalize_filename_mode (BASE "/p/1", CAN_EXISTING);
296 ASSERT (result1 != NULL);
297 ASSERT (result2 != NULL);
298 ASSERT (strcmp (result2 + strlen (result1), "/d/2") == 0);
303 /* Check that leading // is honored correctly. */
307 char *result1 = canonicalize_file_name ("//.");
308 char *result2 = canonicalize_filename_mode ("//.", CAN_EXISTING);
309 char *result3 = canonicalize_file_name (BASE "/droot");
310 char *result4 = canonicalize_filename_mode (BASE "/droot", CAN_EXISTING);
315 ASSERT (stat ("/", &st1) == 0);
316 ASSERT (stat ("//", &st2) == 0);
317 if (SAME_INODE (st1, st2))
319 ASSERT (strcmp (result1, "/") == 0);
320 ASSERT (strcmp (result2, "/") == 0);
321 ASSERT (strcmp (result3, "/") == 0);
322 ASSERT (strcmp (result4, "/") == 0);
326 ASSERT (strcmp (result1, "//") == 0);
327 ASSERT (strcmp (result2, "//") == 0);
328 ASSERT (strcmp (result3, "//") == 0);
329 ASSERT (strcmp (result4, "//") == 0);
338 ASSERT (remove (BASE "/droot") == 0);
339 ASSERT (remove (BASE "/d/1") == 0);
340 ASSERT (remove (BASE "/d/2") == 0);
341 ASSERT (remove (BASE "/d") == 0);
342 ASSERT (remove (BASE "/s") == 0);
343 ASSERT (remove (BASE "/p") == 0);
344 ASSERT (remove (BASE "/plo") == 0);
345 ASSERT (remove (BASE "/huk") == 0);
346 ASSERT (remove (BASE "/bef") == 0);
347 ASSERT (remove (BASE "/ouk") == 0);
348 ASSERT (remove (BASE "/ket") == 0);
349 ASSERT (remove (BASE "/lum") == 0);
350 ASSERT (remove (BASE "/tra") == 0);
351 ASSERT (remove (BASE) == 0);
352 ASSERT (remove ("ise") == 0);