1  /* Test of <stdio.h> substitute.
       2     Copyright (C) 2007, 2009-2023 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  /* Check that the various SEEK_* macros are defined.  */
      24  int sk[] = { SEEK_CUR, SEEK_END, SEEK_SET };
      25  
      26  /* Check that the _PRINTF_NAN_LEN_MAX macro is defined.  */
      27  int pnlm[] = { _PRINTF_NAN_LEN_MAX };
      28  
      29  /* Check that NULL can be passed through varargs as a pointer type,
      30     per POSIX 2008.  */
      31  static_assert (sizeof NULL == sizeof (void *));
      32  
      33  /* Check that the types are all defined.  */
      34  fpos_t t1;
      35  off_t t2;
      36  size_t t3;
      37  ssize_t t4;
      38  va_list t5;
      39  
      40  #include <string.h>
      41  
      42  #include "nan.h"
      43  #include "macros.h"
      44  
      45  int
      46  main (void)
      47  {
      48  #if defined DBL_EXPBIT0_WORD && defined DBL_EXPBIT0_BIT
      49    /* Check the value of _PRINTF_NAN_LEN_MAX.  */
      50    {
      51      #define NWORDS \
      52        ((sizeof (double) + sizeof (unsigned int) - 1) / sizeof (unsigned int))
      53      typedef union { double value; unsigned int word[NWORDS]; } memory_double;
      54  
      55      double value1;
      56      memory_double value2;
      57      char buf[64];
      58  
      59      value1 = NaNd();
      60      sprintf (buf, "%g", value1);
      61      ASSERT (strlen (buf) <= _PRINTF_NAN_LEN_MAX);
      62  
      63      value2.value = NaNd ();
      64      #if DBL_EXPBIT0_BIT == 20
      65      value2.word[DBL_EXPBIT0_WORD] ^= 0x54321;
      66      #endif
      67      sprintf (buf, "%g", value2.value);
      68      ASSERT (strlen (buf) <= _PRINTF_NAN_LEN_MAX);
      69    }
      70  #endif
      71  
      72    return 0;
      73  }