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