xref: /freebsd/tests/sys/file/ftruncate_test.c (revision b71f6e8c05f432a4ceeb53b55f7fe1d8db4a0a19)
13cedbec3SEnji Cooper /*-
23cedbec3SEnji Cooper  * Copyright (c) 2006 Robert N. M. Watson
33cedbec3SEnji Cooper  * All rights reserved.
43cedbec3SEnji Cooper  *
53cedbec3SEnji Cooper  * Redistribution and use in source and binary forms, with or without
63cedbec3SEnji Cooper  * modification, are permitted provided that the following conditions
73cedbec3SEnji Cooper  * are met:
83cedbec3SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
93cedbec3SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
103cedbec3SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
113cedbec3SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
123cedbec3SEnji Cooper  *    documentation and/or other materials provided with the distribution.
133cedbec3SEnji Cooper  *
143cedbec3SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
153cedbec3SEnji Cooper  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
163cedbec3SEnji Cooper  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
173cedbec3SEnji Cooper  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
183cedbec3SEnji Cooper  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
193cedbec3SEnji Cooper  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
203cedbec3SEnji Cooper  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
213cedbec3SEnji Cooper  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
223cedbec3SEnji Cooper  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
233cedbec3SEnji Cooper  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
243cedbec3SEnji Cooper  * SUCH DAMAGE.
253cedbec3SEnji Cooper  *
263cedbec3SEnji Cooper  * $FreeBSD$
273cedbec3SEnji Cooper  */
283cedbec3SEnji Cooper 
293cedbec3SEnji Cooper /*
303cedbec3SEnji Cooper  * Very simple regression test.
313cedbec3SEnji Cooper  *
323cedbec3SEnji Cooper  * Future tests that might be of interest:
333cedbec3SEnji Cooper  *
343cedbec3SEnji Cooper  * - Make sure we get EISDIR on a directory.
353cedbec3SEnji Cooper  */
363cedbec3SEnji Cooper 
373cedbec3SEnji Cooper #include <sys/types.h>
383cedbec3SEnji Cooper #include <sys/event.h>
393cedbec3SEnji Cooper #include <sys/socket.h>
403cedbec3SEnji Cooper #include <sys/stat.h>
413cedbec3SEnji Cooper 
423cedbec3SEnji Cooper #include <err.h>
433cedbec3SEnji Cooper #include <errno.h>
443cedbec3SEnji Cooper #include <fcntl.h>
453cedbec3SEnji Cooper #include <inttypes.h>
463cedbec3SEnji Cooper #include <limits.h>
473cedbec3SEnji Cooper #include <stdio.h>
483cedbec3SEnji Cooper #include <unistd.h>
493cedbec3SEnji Cooper 
503cedbec3SEnji Cooper /*
513cedbec3SEnji Cooper  * Select various potentially interesting lengths at and around power of 2
523cedbec3SEnji Cooper  * edges.
533cedbec3SEnji Cooper  */
543cedbec3SEnji Cooper static off_t lengths[] = {0, 1, 2, 3, 4, 127, 128, 129, 511, 512, 513, 1023,
553cedbec3SEnji Cooper     1024, 1025, 2047, 2048, 2049, 4095, 4096, 4097, 8191, 8192, 8193, 16383,
563cedbec3SEnji Cooper     16384, 16385};
573cedbec3SEnji Cooper static int lengths_count = sizeof(lengths) / sizeof(off_t);
583cedbec3SEnji Cooper 
593cedbec3SEnji Cooper int
6054ff563fSEnji Cooper main(void)
613cedbec3SEnji Cooper {
623cedbec3SEnji Cooper 	int error, fd, fds[2], i, read_only_fd;
633cedbec3SEnji Cooper 	char path[PATH_MAX];
643cedbec3SEnji Cooper 	struct stat sb;
653cedbec3SEnji Cooper 	ssize_t size;
663cedbec3SEnji Cooper 	off_t len;
673cedbec3SEnji Cooper 	char ch;
683cedbec3SEnji Cooper 
693cedbec3SEnji Cooper 	/*
703cedbec3SEnji Cooper 	 * Tests using a writable temporary file: grow and then shrink a file
713cedbec3SEnji Cooper 	 * using ftruncate and various lengths.  Make sure that a negative
723cedbec3SEnji Cooper 	 * file length is rejected.  Make sure that when we grow the file,
733cedbec3SEnji Cooper 	 * bytes now in the range of the file size return 0.
743cedbec3SEnji Cooper 	 *
753cedbec3SEnji Cooper 	 * Save a read-only reference to the file to use later for read-only
763cedbec3SEnji Cooper 	 * descriptor tests.
773cedbec3SEnji Cooper 	 */
783cedbec3SEnji Cooper 	snprintf(path, PATH_MAX, "/tmp/ftruncate.XXXXXXXXXXXXX");
793cedbec3SEnji Cooper 	fd = mkstemp(path);
803cedbec3SEnji Cooper 	if (fd < 0)
81*b71f6e8cSEnji Cooper 		err(1, "mkstemp");
823cedbec3SEnji Cooper 	read_only_fd = open(path, O_RDONLY);
833cedbec3SEnji Cooper 	if (read_only_fd < 0) {
843cedbec3SEnji Cooper 		error = errno;
853cedbec3SEnji Cooper 		(void)unlink(path);
863cedbec3SEnji Cooper 		errno = error;
87*b71f6e8cSEnji Cooper 		err(1, "open(%s, O_RDONLY)", path);
883cedbec3SEnji Cooper 	}
893cedbec3SEnji Cooper 	(void)unlink(path);
903cedbec3SEnji Cooper 
913cedbec3SEnji Cooper 	if (ftruncate(fd, -1) == 0)
92*b71f6e8cSEnji Cooper 		errx(1, "ftruncate(fd, -1) succeeded unexpectedly");
933cedbec3SEnji Cooper 	if (errno != EINVAL)
94*b71f6e8cSEnji Cooper 		err(1, "ftruncate(fd, -1) returned wrong error");
953cedbec3SEnji Cooper 
963cedbec3SEnji Cooper 	for (i = 0; i < lengths_count; i++) {
973cedbec3SEnji Cooper 		len = lengths[i];
983cedbec3SEnji Cooper 		if (ftruncate(fd, len) < 0)
99*b71f6e8cSEnji Cooper 			err(1, "ftruncate(%jd) up", (intmax_t)len);
1003cedbec3SEnji Cooper 		if (fstat(fd, &sb) < 0)
101*b71f6e8cSEnji Cooper 			err(1, "stat");
1023cedbec3SEnji Cooper 		if (sb.st_size != len)
1033cedbec3SEnji Cooper 			errx(-1, "fstat with len=%jd returned len %jd up",
1043cedbec3SEnji Cooper 			    (intmax_t)len, (intmax_t)sb.st_size);
1053cedbec3SEnji Cooper 		if (len != 0) {
1063cedbec3SEnji Cooper 			size = pread(fd, &ch, sizeof(ch), len - 1);
1073cedbec3SEnji Cooper 			if (size < 0)
108*b71f6e8cSEnji Cooper 				err(1, "pread on len %jd up", (intmax_t)len);
1093cedbec3SEnji Cooper 			if (size != sizeof(ch))
1103cedbec3SEnji Cooper 				errx(-1, "pread len %jd size %jd up",
1113cedbec3SEnji Cooper 				    (intmax_t)len, (intmax_t)size);
1123cedbec3SEnji Cooper 			if (ch != 0)
1133cedbec3SEnji Cooper 				errx(-1,
1143cedbec3SEnji Cooper 				    "pread length %jd size %jd ch %d up",
1153cedbec3SEnji Cooper 				    (intmax_t)len, (intmax_t)size, ch);
1163cedbec3SEnji Cooper 		}
1173cedbec3SEnji Cooper 	}
1183cedbec3SEnji Cooper 
1193cedbec3SEnji Cooper 	for (i = lengths_count - 1; i >= 0; i--) {
1203cedbec3SEnji Cooper 		len = lengths[i];
1213cedbec3SEnji Cooper 		if (ftruncate(fd, len) < 0)
122*b71f6e8cSEnji Cooper 			err(1, "ftruncate(%jd) down", (intmax_t)len);
1233cedbec3SEnji Cooper 		if (fstat(fd, &sb) < 0)
124*b71f6e8cSEnji Cooper 			err(1, "stat");
1253cedbec3SEnji Cooper 		if (sb.st_size != len)
1263cedbec3SEnji Cooper 			errx(-1, "fstat(%jd) returned %jd down", (intmax_t)len,
1273cedbec3SEnji Cooper 			    sb.st_size);
1283cedbec3SEnji Cooper 	}
1293cedbec3SEnji Cooper 	close(fd);
1303cedbec3SEnji Cooper 
1313cedbec3SEnji Cooper 	/*
1323cedbec3SEnji Cooper 	 * Make sure that a read-only descriptor can't be truncated.
1333cedbec3SEnji Cooper 	 */
1343cedbec3SEnji Cooper 	if (ftruncate(read_only_fd, 0) == 0)
1353cedbec3SEnji Cooper 		errx(-1, "ftruncate(read_only_fd) succeeded");
1363cedbec3SEnji Cooper 	if (errno != EINVAL)
137*b71f6e8cSEnji Cooper 		err(1, "ftruncate(read_only_fd) returned wrong error");
1383cedbec3SEnji Cooper 	close(read_only_fd);
1393cedbec3SEnji Cooper 
1403cedbec3SEnji Cooper 	/*
1413cedbec3SEnji Cooper 	 * Make sure that ftruncate on sockets doesn't work.
1423cedbec3SEnji Cooper 	 */
1433cedbec3SEnji Cooper 	fd = socket(PF_UNIX, SOCK_STREAM, 0);
1443cedbec3SEnji Cooper 	if (fd < 0)
145*b71f6e8cSEnji Cooper 		err(1, "socket(PF_UNIX, SOCK_STREAM, 0)");
1463cedbec3SEnji Cooper 	if (ftruncate(fd, 0) == 0)
1473cedbec3SEnji Cooper 		errx(-1, "ftruncate(socket) succeeded");
1483cedbec3SEnji Cooper 	if (errno != EINVAL)
149*b71f6e8cSEnji Cooper 		err(1, "ftruncate(socket) returned wrong error");
1503cedbec3SEnji Cooper 	close(fd);
1513cedbec3SEnji Cooper 
1523cedbec3SEnji Cooper 	/*
1533cedbec3SEnji Cooper 	 * Make sure that ftruncate on pipes doesn't work.
1543cedbec3SEnji Cooper 	 */
1553cedbec3SEnji Cooper 	if (pipe(fds) < 0)
156*b71f6e8cSEnji Cooper 		err(1, "pipe");
1573cedbec3SEnji Cooper 	if (ftruncate(fds[0], 0) == 0)
1583cedbec3SEnji Cooper 		errx(-1, "ftruncate(pipe) succeeded");
1593cedbec3SEnji Cooper 	if (errno != EINVAL)
160*b71f6e8cSEnji Cooper 		err(1, "ftruncate(pipe) returned wrong error");
1613cedbec3SEnji Cooper 	close(fds[0]);
1623cedbec3SEnji Cooper 	close(fds[1]);
1633cedbec3SEnji Cooper 
1643cedbec3SEnji Cooper 	/*
1653cedbec3SEnji Cooper 	 * Make sure that ftruncate on kqueues doesn't work.
1663cedbec3SEnji Cooper 	 */
1673cedbec3SEnji Cooper 	fd = kqueue();
1683cedbec3SEnji Cooper 	if (fd < 0)
169*b71f6e8cSEnji Cooper 		err(1, "kqueue");
1703cedbec3SEnji Cooper 	if (ftruncate(fds[0], 0) == 0)
1713cedbec3SEnji Cooper 		errx(-1, "ftruncate(kqueue) succeeded");
1723cedbec3SEnji Cooper 	if (errno != EINVAL)
173*b71f6e8cSEnji Cooper 		err(1, "ftruncate(kqueue) returned wrong error");
1743cedbec3SEnji Cooper 	close(fd);
1753cedbec3SEnji Cooper 
1763cedbec3SEnji Cooper 	return (0);
1773cedbec3SEnji Cooper }
178