Line data Source code
1 : /* Test of <stdio.h> substitute. 2 : Copyright (C) 2007, 2009-2020 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 <stdio.h> 22 : 23 : #include "verify.h" 24 : 25 : /* Check that the various SEEK_* macros are defined. */ 26 : int sk[] = { SEEK_CUR, SEEK_END, SEEK_SET }; 27 : 28 : /* Check that NULL can be passed through varargs as a pointer type, 29 : per POSIX 2008. */ 30 : verify (sizeof NULL == sizeof (void *)); 31 : 32 : /* Check that the types are all defined. */ 33 : fpos_t t1; 34 : off_t t2; 35 : size_t t3; 36 : ssize_t t4; 37 : va_list t5; 38 : 39 : int 40 1 : main (void) 41 : { 42 1 : return 0; 43 : }