xref: /freebsd/tests/sys/file/ftruncate_test.c (revision b3e7694832e81d7a904a10f525f8797b753bf0d3)
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 
273cedbec3SEnji Cooper /*
283cedbec3SEnji Cooper  * Very simple regression test.
293cedbec3SEnji Cooper  *
303cedbec3SEnji Cooper  * Future tests that might be of interest:
313cedbec3SEnji Cooper  *
323cedbec3SEnji Cooper  * - Make sure we get EISDIR on a directory.
333cedbec3SEnji Cooper  */
343cedbec3SEnji Cooper 
353cedbec3SEnji Cooper #include <sys/types.h>
363cedbec3SEnji Cooper #include <sys/event.h>
373cedbec3SEnji Cooper #include <sys/socket.h>
383cedbec3SEnji Cooper #include <sys/stat.h>
393cedbec3SEnji Cooper 
403cedbec3SEnji Cooper #include <err.h>
413cedbec3SEnji Cooper #include <errno.h>
423cedbec3SEnji Cooper #include <fcntl.h>
433cedbec3SEnji Cooper #include <inttypes.h>
443cedbec3SEnji Cooper #include <limits.h>
453cedbec3SEnji Cooper #include <stdio.h>
463cedbec3SEnji Cooper #include <unistd.h>
473cedbec3SEnji Cooper 
483cedbec3SEnji Cooper /*
493cedbec3SEnji Cooper  * Select various potentially interesting lengths at and around power of 2
503cedbec3SEnji Cooper  * edges.
513cedbec3SEnji Cooper  */
523cedbec3SEnji Cooper static off_t lengths[] = {0, 1, 2, 3, 4, 127, 128, 129, 511, 512, 513, 1023,
533cedbec3SEnji Cooper     1024, 1025, 2047, 2048, 2049, 4095, 4096, 4097, 8191, 8192, 8193, 16383,
543cedbec3SEnji Cooper     16384, 16385};
553cedbec3SEnji Cooper static int lengths_count = sizeof(lengths) / sizeof(off_t);
563cedbec3SEnji Cooper 
573cedbec3SEnji Cooper int
main(void)5854ff563fSEnji Cooper main(void)
593cedbec3SEnji Cooper {
603cedbec3SEnji Cooper 	int error, fd, fds[2], i, read_only_fd;
61fa15d1eaSEnji Cooper 	char path[] = "ftruncate_file";
623cedbec3SEnji Cooper 	struct stat sb;
633cedbec3SEnji Cooper 	ssize_t size;
643cedbec3SEnji Cooper 	off_t len;
653cedbec3SEnji Cooper 	char ch;
663cedbec3SEnji Cooper 
673cedbec3SEnji Cooper 	/*
68fa15d1eaSEnji Cooper 	 * Tests using a writable file: grow and then shrink a file
693cedbec3SEnji Cooper 	 * using ftruncate and various lengths.  Make sure that a negative
703cedbec3SEnji Cooper 	 * file length is rejected.  Make sure that when we grow the file,
713cedbec3SEnji Cooper 	 * bytes now in the range of the file size return 0.
723cedbec3SEnji Cooper 	 *
733cedbec3SEnji Cooper 	 * Save a read-only reference to the file to use later for read-only
743cedbec3SEnji Cooper 	 * descriptor tests.
753cedbec3SEnji Cooper 	 */
76*71784da9SEnji Cooper 	fd = open(path, O_RDWR|O_CREAT, 0600);
773cedbec3SEnji Cooper 	if (fd < 0)
78*71784da9SEnji Cooper 		err(1, "open(%s, O_RDWR|O_CREAT, 0600)", path);
793cedbec3SEnji Cooper 	read_only_fd = open(path, O_RDONLY);
803cedbec3SEnji Cooper 	if (read_only_fd < 0) {
813cedbec3SEnji Cooper 		error = errno;
823cedbec3SEnji Cooper 		(void)unlink(path);
833cedbec3SEnji Cooper 		errno = error;
84b71f6e8cSEnji Cooper 		err(1, "open(%s, O_RDONLY)", path);
853cedbec3SEnji Cooper 	}
863cedbec3SEnji Cooper 	(void)unlink(path);
873cedbec3SEnji Cooper 
883cedbec3SEnji Cooper 	if (ftruncate(fd, -1) == 0)
89b71f6e8cSEnji Cooper 		errx(1, "ftruncate(fd, -1) succeeded unexpectedly");
903cedbec3SEnji Cooper 	if (errno != EINVAL)
91b71f6e8cSEnji Cooper 		err(1, "ftruncate(fd, -1) returned wrong error");
923cedbec3SEnji Cooper 
933cedbec3SEnji Cooper 	for (i = 0; i < lengths_count; i++) {
943cedbec3SEnji Cooper 		len = lengths[i];
953cedbec3SEnji Cooper 		if (ftruncate(fd, len) < 0)
96b71f6e8cSEnji Cooper 			err(1, "ftruncate(%jd) up", (intmax_t)len);
973cedbec3SEnji Cooper 		if (fstat(fd, &sb) < 0)
98b71f6e8cSEnji Cooper 			err(1, "stat");
993cedbec3SEnji Cooper 		if (sb.st_size != len)
1003cedbec3SEnji Cooper 			errx(-1, "fstat with len=%jd returned len %jd up",
1013cedbec3SEnji Cooper 			    (intmax_t)len, (intmax_t)sb.st_size);
1023cedbec3SEnji Cooper 		if (len != 0) {
1033cedbec3SEnji Cooper 			size = pread(fd, &ch, sizeof(ch), len - 1);
1043cedbec3SEnji Cooper 			if (size < 0)
105b71f6e8cSEnji Cooper 				err(1, "pread on len %jd up", (intmax_t)len);
1063cedbec3SEnji Cooper 			if (size != sizeof(ch))
1073cedbec3SEnji Cooper 				errx(-1, "pread len %jd size %jd up",
1083cedbec3SEnji Cooper 				    (intmax_t)len, (intmax_t)size);
1093cedbec3SEnji Cooper 			if (ch != 0)
1103cedbec3SEnji Cooper 				errx(-1,
1113cedbec3SEnji Cooper 				    "pread length %jd size %jd ch %d up",
1123cedbec3SEnji Cooper 				    (intmax_t)len, (intmax_t)size, ch);
1133cedbec3SEnji Cooper 		}
1143cedbec3SEnji Cooper 	}
1153cedbec3SEnji Cooper 
1163cedbec3SEnji Cooper 	for (i = lengths_count - 1; i >= 0; i--) {
1173cedbec3SEnji Cooper 		len = lengths[i];
1183cedbec3SEnji Cooper 		if (ftruncate(fd, len) < 0)
119b71f6e8cSEnji Cooper 			err(1, "ftruncate(%jd) down", (intmax_t)len);
1203cedbec3SEnji Cooper 		if (fstat(fd, &sb) < 0)
121b71f6e8cSEnji Cooper 			err(1, "stat");
1223cedbec3SEnji Cooper 		if (sb.st_size != len)
1233cedbec3SEnji Cooper 			errx(-1, "fstat(%jd) returned %jd down", (intmax_t)len,
1243cedbec3SEnji Cooper 			    sb.st_size);
1253cedbec3SEnji Cooper 	}
1263cedbec3SEnji Cooper 	close(fd);
1273cedbec3SEnji Cooper 
1283cedbec3SEnji Cooper 	/*
1293cedbec3SEnji Cooper 	 * Make sure that a read-only descriptor can't be truncated.
1303cedbec3SEnji Cooper 	 */
1313cedbec3SEnji Cooper 	if (ftruncate(read_only_fd, 0) == 0)
1323cedbec3SEnji Cooper 		errx(-1, "ftruncate(read_only_fd) succeeded");
1333cedbec3SEnji Cooper 	if (errno != EINVAL)
134b71f6e8cSEnji Cooper 		err(1, "ftruncate(read_only_fd) returned wrong error");
1353cedbec3SEnji Cooper 	close(read_only_fd);
1363cedbec3SEnji Cooper 
1373cedbec3SEnji Cooper 	/*
1383cedbec3SEnji Cooper 	 * Make sure that ftruncate on sockets doesn't work.
1393cedbec3SEnji Cooper 	 */
1403cedbec3SEnji Cooper 	fd = socket(PF_UNIX, SOCK_STREAM, 0);
1413cedbec3SEnji Cooper 	if (fd < 0)
142b71f6e8cSEnji Cooper 		err(1, "socket(PF_UNIX, SOCK_STREAM, 0)");
1433cedbec3SEnji Cooper 	if (ftruncate(fd, 0) == 0)
1443cedbec3SEnji Cooper 		errx(-1, "ftruncate(socket) succeeded");
1453cedbec3SEnji Cooper 	if (errno != EINVAL)
146b71f6e8cSEnji Cooper 		err(1, "ftruncate(socket) returned wrong error");
1473cedbec3SEnji Cooper 	close(fd);
1483cedbec3SEnji Cooper 
1493cedbec3SEnji Cooper 	/*
1503cedbec3SEnji Cooper 	 * Make sure that ftruncate on pipes doesn't work.
1513cedbec3SEnji Cooper 	 */
1523cedbec3SEnji Cooper 	if (pipe(fds) < 0)
153b71f6e8cSEnji Cooper 		err(1, "pipe");
1543cedbec3SEnji Cooper 	if (ftruncate(fds[0], 0) == 0)
1553cedbec3SEnji Cooper 		errx(-1, "ftruncate(pipe) succeeded");
1563cedbec3SEnji Cooper 	if (errno != EINVAL)
157b71f6e8cSEnji Cooper 		err(1, "ftruncate(pipe) returned wrong error");
1583cedbec3SEnji Cooper 	close(fds[0]);
1593cedbec3SEnji Cooper 	close(fds[1]);
1603cedbec3SEnji Cooper 
1613cedbec3SEnji Cooper 	/*
1623cedbec3SEnji Cooper 	 * Make sure that ftruncate on kqueues doesn't work.
1633cedbec3SEnji Cooper 	 */
1643cedbec3SEnji Cooper 	fd = kqueue();
1653cedbec3SEnji Cooper 	if (fd < 0)
166b71f6e8cSEnji Cooper 		err(1, "kqueue");
1673cedbec3SEnji Cooper 	if (ftruncate(fds[0], 0) == 0)
1683cedbec3SEnji Cooper 		errx(-1, "ftruncate(kqueue) succeeded");
1693cedbec3SEnji Cooper 	if (errno != EINVAL)
170b71f6e8cSEnji Cooper 		err(1, "ftruncate(kqueue) returned wrong error");
1713cedbec3SEnji Cooper 	close(fd);
1723cedbec3SEnji Cooper 
1733cedbec3SEnji Cooper 	return (0);
1743cedbec3SEnji Cooper }
175