blob: b0603c20063da8040d1bdef5d852e92073d2bab6 [file] [log] [blame]
Dmitry V. Levin05a0af62016-01-20 00:17:02 +00001/*
2 * Check decoding of readv and writev syscalls.
3 *
4 * Copyright (c) 2016 Dmitry V. Levin <ldv@altlinux.org>
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 * 3. The name of the author may not be used to endorse or promote products
16 * derived from this software without specific prior written permission.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 */
29
30#include "tests.h"
31
32#include <assert.h>
33#include <stdio.h>
34#include <unistd.h>
35#include <sys/uio.h>
36
37int
38main(void)
39{
40 tprintf("%s", "");
41
42 int fds[2];
43 if (pipe(fds))
44 perror_msg_and_fail("pipe");
45 assert(0 == fds[0]);
46 assert(1 == fds[1]);
47
48 static const char w0_c[] = "012";
49 const char *w0_d = hexdump_strdup(w0_c);
50 void *w0 = tail_memdup(w0_c, LENGTH_OF(w0_c));
51
Dmitry V. Levin4774f822016-02-14 00:04:20 +000052 const void *efault = w0 + LENGTH_OF(w0_c);
53
Dmitry V. Levin05a0af62016-01-20 00:17:02 +000054 static const char w1_c[] = "34567";
55 const char *w1_d = hexdump_strdup(w1_c);
56 void *w1 = tail_memdup(w1_c, LENGTH_OF(w1_c));
57
58 static const char w2_c[] = "89abcde";
59 const char *w2_d = hexdump_strdup(w2_c);
60 void *w2 = tail_memdup(w2_c, LENGTH_OF(w2_c));
61
Dmitry V. Levin4774f822016-02-14 00:04:20 +000062 assert(writev(1, efault, 42) == -1);
Dmitry V. Levin0a9d1942016-03-30 02:22:58 +000063 tprintf("writev(1, %p, 42) = -1 EFAULT (%m)\n", efault);
Dmitry V. Levin4774f822016-02-14 00:04:20 +000064
65 assert(readv(0, efault, 42) == -1);
66 tprintf("readv(0, %p, 42) = -1 EFAULT (%m)\n", efault);
67
Dmitry V. Levin05a0af62016-01-20 00:17:02 +000068 static const char r0_c[] = "01234567";
69 const char *r0_d = hexdump_strdup(r0_c);
70 static const char r1_c[] = "89abcde";
71 const char *r1_d = hexdump_strdup(r1_c);
72
73 const struct iovec w_iov_[] = {
74 {
75 .iov_base = w0,
76 .iov_len = LENGTH_OF(w0_c)
77 }, {
78 .iov_base = w1,
79 .iov_len = LENGTH_OF(w1_c)
80 }, {
81 .iov_base = w2,
82 .iov_len = LENGTH_OF(w2_c)
83 }
84 };
85 const struct iovec *w_iov = tail_memdup(w_iov_, sizeof(w_iov_));
Dmitry V. Levin4774f822016-02-14 00:04:20 +000086
87 assert(writev(1, w_iov, 0) == 0);
88 tprintf("writev(1, [], 0) = 0\n");
89
90 assert(writev(1, w_iov + ARRAY_SIZE(w_iov_) - 1, 2) == -1);
91 tprintf("writev(1, [{\"%s\", %u}, %p], 2) = -1 EFAULT (%m)\n",
92 w2_c, LENGTH_OF(w2_c), w_iov + ARRAY_SIZE(w_iov_));
93
Dmitry V. Levin05a0af62016-01-20 00:17:02 +000094 const unsigned int w_len =
95 LENGTH_OF(w0_c) + LENGTH_OF(w1_c) + LENGTH_OF(w2_c);
96
97 assert(writev(1, w_iov, ARRAY_SIZE(w_iov_)) == (int) w_len);
98 close(1);
99 tprintf("writev(1, [{\"%s\", %u}, {\"%s\", %u}"
100 ", {\"%s\", %u}], %u) = %u\n"
101 " * %u bytes in buffer 0\n"
102 " | 00000 %-49s %-16s |\n"
103 " * %u bytes in buffer 1\n"
104 " | 00000 %-49s %-16s |\n"
105 " * %u bytes in buffer 2\n"
106 " | 00000 %-49s %-16s |\n",
107 w0_c, LENGTH_OF(w0_c), w1_c, LENGTH_OF(w1_c),
108 w2_c, LENGTH_OF(w2_c), ARRAY_SIZE(w_iov_), w_len,
109 LENGTH_OF(w0_c), w0_d, w0_c,
110 LENGTH_OF(w1_c), w1_d, w1_c, LENGTH_OF(w2_c), w2_d, w2_c);
111
112 const unsigned int r_len = (w_len + 1) / 2;
113 void *r0 = tail_alloc(r_len);
114 const struct iovec r0_iov_[] = {
115 {
116 .iov_base = r0,
117 .iov_len = r_len
118 }
119 };
120 const struct iovec *r_iov = tail_memdup(r0_iov_, sizeof(r0_iov_));
121
122 assert(readv(0, r_iov, ARRAY_SIZE(r0_iov_)) == (int) r_len);
123 tprintf("readv(0, [{\"%s\", %u}], %u) = %u\n"
124 " * %u bytes in buffer 0\n"
125 " | 00000 %-49s %-16s |\n",
126 r0_c, r_len, ARRAY_SIZE(r0_iov_), r_len, r_len, r0_d, r0_c);
127
128 void *r1 = tail_alloc(r_len);
129 void *r2 = tail_alloc(w_len);
130 const struct iovec r1_iov_[] = {
131 {
132 .iov_base = r1,
133 .iov_len = r_len
134 },
135 {
136 .iov_base = r2,
137 .iov_len = w_len
138 }
139 };
140 r_iov = tail_memdup(r1_iov_, sizeof(r1_iov_));
141
142 assert(readv(0, r_iov, ARRAY_SIZE(r1_iov_)) == (int) w_len - r_len);
143 tprintf("readv(0, [{\"%s\", %u}, {\"\", %u}], %u) = %u\n"
144 " * %u bytes in buffer 0\n"
145 " | 00000 %-49s %-16s |\n",
146 r1_c, r_len, w_len, ARRAY_SIZE(r1_iov_), w_len - r_len,
147 w_len - r_len, r1_d, r1_c);
148 close(0);
149
150 tprintf("+++ exited with 0 +++\n");
151 return 0;
152}