2 Copyright (C) 2009-2012 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 Eric Blake <ebb9@byu.net>, 2009. */
24 #include "signature.h"
25 SIGNATURE_CHECK (fcntl, int, (int, int, ...));
33 #if (defined _WIN32 || defined __WIN32__) && ! defined __CYGWIN__
34 /* Get declarations of the native Windows API functions. */
35 # define WIN32_LEAN_AND_MEAN
37 /* Get _get_osfhandle. */
38 # include "msvc-nothrow.h"
41 #include "binary-io.h"
45 # define setmode(f,m) zero ()
46 static int zero (void) { return 0; }
49 /* Return true if FD is open. */
53 #if (defined _WIN32 || defined __WIN32__) && ! defined __CYGWIN__
54 /* On native Windows, the initial state of unassigned standard file
55 descriptors is that they are open but point to an
56 INVALID_HANDLE_VALUE, and there is no fcntl. */
57 return (HANDLE) _get_osfhandle (fd) != INVALID_HANDLE_VALUE;
60 # error Please port fcntl to your platform
62 return 0 <= fcntl (fd, F_GETFL);
66 /* Return true if FD is open and inheritable across exec/spawn. */
68 is_inheritable (int fd)
70 #if (defined _WIN32 || defined __WIN32__) && ! defined __CYGWIN__
71 /* On native Windows, the initial state of unassigned standard file
72 descriptors is that they are open but point to an
73 INVALID_HANDLE_VALUE, and there is no fcntl. */
74 HANDLE h = (HANDLE) _get_osfhandle (fd);
76 if (h == INVALID_HANDLE_VALUE || GetHandleInformation (h, &flags) == 0)
78 return (flags & HANDLE_FLAG_INHERIT) != 0;
81 # error Please port fcntl to your platform
83 int i = fcntl (fd, F_GETFD);
84 return 0 <= i && (i & FD_CLOEXEC) == 0;
88 /* Return non-zero if FD is open in the given MODE, which is either
89 O_TEXT or O_BINARY. */
91 is_mode (int fd, int mode)
93 int value = setmode (fd, O_BINARY);
98 /* Since native fcntl can have more supported operations than our
99 replacement is aware of, and since various operations assign
100 different types to the vararg argument, a wrapper around fcntl must
101 be able to pass a vararg of unknown type on through to the original
102 fcntl. Make sure that this works properly: func1 behaves like the
103 original fcntl interpreting the vararg as an int or a pointer to a
104 struct, and func2 behaves like rpl_fcntl that doesn't know what
118 i = va_arg (arg, int);
121 struct dummy_struct *s = va_arg (arg, struct dummy_struct *);
133 p = va_arg (arg, void *);
138 /* Ensure that all supported fcntl actions are distinct, and
139 usable in preprocessor expressions. */
149 case F_DUPFD_CLOEXEC:
212 const char *file = "test-fcntl.tmp";
215 /* Sanity check that rpl_fcntl is likely to work. */
216 ASSERT (func2 (1, 2) == 2);
217 ASSERT (func2 (2, -2) == -2);
218 ASSERT (func2 (3, 0x80000000) == 0x80000000);
220 struct dummy_struct s = { 0L, 4 };
221 ASSERT (func2 (4, &s) == 4);
225 /* Assume std descriptors were provided by invoker, and ignore fds
226 that might have been inherited. */
227 fd = creat (file, 0600);
228 ASSERT (STDERR_FILENO < fd);
232 /* For F_DUPFD*, the source must be valid. */
234 ASSERT (fcntl (-1, F_DUPFD, 0) == -1);
235 ASSERT (errno == EBADF);
237 ASSERT (fcntl (fd + 1, F_DUPFD, 0) == -1);
238 ASSERT (errno == EBADF);
240 ASSERT (fcntl (10000000, F_DUPFD, 0) == -1);
241 ASSERT (errno == EBADF);
243 ASSERT (fcntl (-1, F_DUPFD_CLOEXEC, 0) == -1);
244 ASSERT (errno == EBADF);
246 ASSERT (fcntl (fd + 1, F_DUPFD_CLOEXEC, 0) == -1);
247 ASSERT (errno == EBADF);
249 ASSERT (fcntl (10000000, F_DUPFD_CLOEXEC, 0) == -1);
250 ASSERT (errno == EBADF);
252 /* For F_DUPFD*, the destination must be valid. */
253 ASSERT (getdtablesize () < 10000000);
255 ASSERT (fcntl (fd, F_DUPFD, -1) == -1);
256 ASSERT (errno == EINVAL);
258 ASSERT (fcntl (fd, F_DUPFD, 10000000) == -1);
259 ASSERT (errno == EINVAL);
260 ASSERT (getdtablesize () < 10000000);
262 ASSERT (fcntl (fd, F_DUPFD_CLOEXEC, -1) == -1);
263 ASSERT (errno == EINVAL);
265 ASSERT (fcntl (fd, F_DUPFD_CLOEXEC, 10000000) == -1);
266 ASSERT (errno == EINVAL);
268 /* For F_DUPFD*, check for correct inheritance, as well as
269 preservation of text vs. binary. */
270 setmode (fd, O_BINARY);
271 ASSERT (is_open (fd));
272 ASSERT (!is_open (fd + 1));
273 ASSERT (!is_open (fd + 2));
274 ASSERT (is_inheritable (fd));
275 ASSERT (is_mode (fd, O_BINARY));
277 ASSERT (fcntl (fd, F_DUPFD, fd) == fd + 1);
278 ASSERT (is_open (fd));
279 ASSERT (is_open (fd + 1));
280 ASSERT (!is_open (fd + 2));
281 ASSERT (is_inheritable (fd + 1));
282 ASSERT (is_mode (fd, O_BINARY));
283 ASSERT (is_mode (fd + 1, O_BINARY));
284 ASSERT (close (fd + 1) == 0);
286 ASSERT (fcntl (fd, F_DUPFD_CLOEXEC, fd + 2) == fd + 2);
287 ASSERT (is_open (fd));
288 ASSERT (!is_open (fd + 1));
289 ASSERT (is_open (fd + 2));
290 ASSERT (is_inheritable (fd));
291 ASSERT (!is_inheritable (fd + 2));
292 ASSERT (is_mode (fd, O_BINARY));
293 ASSERT (is_mode (fd + 2, O_BINARY));
294 ASSERT (close (fd) == 0);
296 setmode (fd + 2, O_TEXT);
297 ASSERT (fcntl (fd + 2, F_DUPFD, fd + 1) == fd + 1);
298 ASSERT (!is_open (fd));
299 ASSERT (is_open (fd + 1));
300 ASSERT (is_open (fd + 2));
301 ASSERT (is_inheritable (fd + 1));
302 ASSERT (!is_inheritable (fd + 2));
303 ASSERT (is_mode (fd + 1, O_TEXT));
304 ASSERT (is_mode (fd + 2, O_TEXT));
305 ASSERT (close (fd + 1) == 0);
307 ASSERT (fcntl (fd + 2, F_DUPFD_CLOEXEC, 0) == fd);
308 ASSERT (is_open (fd));
309 ASSERT (!is_open (fd + 1));
310 ASSERT (is_open (fd + 2));
311 ASSERT (!is_inheritable (fd));
312 ASSERT (!is_inheritable (fd + 2));
313 ASSERT (is_mode (fd, O_TEXT));
314 ASSERT (is_mode (fd + 2, O_TEXT));
315 ASSERT (close (fd + 2) == 0);
317 /* Test F_GETFD on invalid file descriptors. */
319 ASSERT (fcntl (-1, F_GETFD) == -1);
320 ASSERT (errno == EBADF);
322 ASSERT (fcntl (fd + 1, F_GETFD) == -1);
323 ASSERT (errno == EBADF);
325 ASSERT (fcntl (10000000, F_GETFD) == -1);
326 ASSERT (errno == EBADF);
328 /* Test F_GETFD, the FD_CLOEXEC bit. */
330 int result = fcntl (fd, F_GETFD);
331 ASSERT (0 <= result);
332 ASSERT ((result & FD_CLOEXEC) == FD_CLOEXEC);
333 ASSERT (dup (fd) == fd + 1);
334 result = fcntl (fd + 1, F_GETFD);
335 ASSERT (0 <= result);
336 ASSERT ((result & FD_CLOEXEC) == 0);
337 ASSERT (close (fd + 1) == 0);
341 /* Test F_SETFD on invalid file descriptors. */
343 ASSERT (fcntl (-1, F_SETFD, 0) == -1);
344 ASSERT (errno == EBADF);
346 ASSERT (fcntl (fd + 1, F_SETFD, 0) == -1);
347 ASSERT (errno == EBADF);
349 ASSERT (fcntl (10000000, F_SETFD, 0) == -1);
350 ASSERT (errno == EBADF);
354 /* Test F_GETFL on invalid file descriptors. */
356 ASSERT (fcntl (-1, F_GETFL) == -1);
357 ASSERT (errno == EBADF);
359 ASSERT (fcntl (fd + 1, F_GETFL) == -1);
360 ASSERT (errno == EBADF);
362 ASSERT (fcntl (10000000, F_GETFL) == -1);
363 ASSERT (errno == EBADF);
367 /* Test F_SETFL on invalid file descriptors. */
369 ASSERT (fcntl (-1, F_SETFL, 0) == -1);
370 ASSERT (errno == EBADF);
372 ASSERT (fcntl (fd + 1, F_SETFL, 0) == -1);
373 ASSERT (errno == EBADF);
375 ASSERT (fcntl (10000000, F_SETFL, 0) == -1);
376 ASSERT (errno == EBADF);
380 /* Test F_GETOWN on invalid file descriptors. */
382 ASSERT (fcntl (-1, F_GETOWN) == -1);
383 ASSERT (errno == EBADF);
385 ASSERT (fcntl (fd + 1, F_GETOWN) == -1);
386 ASSERT (errno == EBADF);
388 ASSERT (fcntl (10000000, F_GETOWN) == -1);
389 ASSERT (errno == EBADF);
393 /* Test F_SETFL on invalid file descriptors. */
395 ASSERT (fcntl (-1, F_SETOWN, 0) == -1);
396 ASSERT (errno == EBADF);
398 ASSERT (fcntl (fd + 1, F_SETOWN, 0) == -1);
399 ASSERT (errno == EBADF);
401 ASSERT (fcntl (10000000, F_SETOWN, 0) == -1);
402 ASSERT (errno == EBADF);
406 ASSERT (close (fd) == 0);
407 ASSERT (unlink (file) == 0);