1  /* Test of <unistd.h> substitute.
       2     Copyright (C) 2007, 2009-2022 Free Software Foundation, Inc.
       3  
       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.
       8  
       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.
      13  
      14     You should have received a copy of the GNU General Public License
      15     along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
      16  
      17  /* Written by Bruno Haible <bruno@clisp.org>, 2007.  */
      18  
      19  #include <config.h>
      20  
      21  #include <unistd.h>
      22  
      23  #include "verify.h"
      24  
      25  /* Check that NULL can be passed through varargs as a pointer type,
      26     per POSIX 2008.  */
      27  verify (sizeof NULL == sizeof (void *));
      28  
      29  /* Check that the various SEEK_* macros are defined.  */
      30  int sk[] = { SEEK_CUR, SEEK_END, SEEK_SET };
      31  
      32  /* Check that the various *_FILENO macros are defined.  */
      33  #if ! (defined STDIN_FILENO                                     \
      34         && (STDIN_FILENO + STDOUT_FILENO + STDERR_FILENO == 3))
      35  missing or broken *_FILENO macros
      36  #endif
      37  
      38  /* Check that the types are all defined.  */
      39  size_t t1;
      40  ssize_t t2;
      41  #ifdef TODO /* Not implemented in gnulib yet */
      42  uid_t t3;
      43  gid_t t4;
      44  #endif
      45  off_t t5;
      46  pid_t t6;
      47  #ifdef TODO
      48  useconds_t t7;
      49  intptr_t t8;
      50  #endif
      51  
      52  int
      53  main (void)
      54  {
      55    return 0;
      56  }