stdio-common/tstdiomisc.c

   1 #include <array_length.h>
   2 #include <float.h>
   3 #include <math.h>
   4 #include <stdio.h>
   5 #include <string.h>
   6 #include <wchar.h>
   7 #include <libc-diag.h>
   8
   9 static int
  10 t1 (void)
  11 {
  12   int n = -1;
  13   sscanf ("abc  ", "abc %n", &n);
  14   printf ("t1: count=%d\n", n);
  15
  16   return n != 5;
  17 }
  18
  19 static int
  20 t2 (void)
  21 {
  22   int result = 0;
  23   int n;
  24   long N;
  25   int retval;
  26 #define SCAN(INPUT, FORMAT, VAR, EXP_RES, EXP_VAL) \
  27   VAR = -1; \
  28   retval = sscanf (INPUT, FORMAT, &VAR); \
  29   printf ("sscanf (\"%s\", \"%s\", &x) => %d, x = %ld\n", \
  30           INPUT, FORMAT, retval, (long int) VAR); \
  31   result |= retval != EXP_RES || VAR != EXP_VAL
  32
  33   /* This function is testing corner cases of the scanf format string,
  34      so they do not all conform to -Wformat's expectations.  */
  35   DIAG_PUSH_NEEDS_COMMENT;
  36   DIAG_IGNORE_NEEDS_COMMENT (4.9, "-Wformat");
  37   DIAG_IGNORE_NEEDS_COMMENT (4.9, "-Wformat-extra-args");
  38
  39   SCAN ("12345", "%ld", N, 1, 12345);
  40   SCAN ("12345", "%llllld", N, 0, -1);
  41   SCAN ("12345", "%LLLLLd", N, 0, -1);
  42   SCAN ("test ", "%*s%n",  n, 0, 4);
  43   SCAN ("test ", "%2*s%n",  n, 0, -1);
  44   SCAN ("12 ",   "%l2d",  n, 0, -1);
  45   SCAN ("12 ",   "%2ld",  N, 1, 12);
  46
  47   n = -1;
  48   N = -1;
  49   retval = sscanf ("1 1", "%d %Z", &n, &N);
  50   printf ("sscanf (\"1 1\", \"%%d %%Z\", &n, &N) => %d, n = %d, N = %ld\n", \
  51           retval, n, N); \
  52   result |= retval != 1 || n != 1 || N != -1;
  53
  54   DIAG_POP_NEEDS_COMMENT;
  55
  56   return result;
  57 }
  58
  59 static int
  60 t3 (void)
  61 {
  62   char buf[80];
  63   wchar_t wbuf[80];
  64   int result = 0;
  65   int retval;
  66
  67   retval = sprintf (buf, "%p", (char *) NULL);
  68   result |= retval != 5 || strcmp (buf, "(nil)") != 0;
  69
  70   retval = swprintf (wbuf, array_length (wbuf), L"%p", (char *) NULL);
  71   result |= retval != 5 || wcscmp (wbuf, L"(nil)") != 0;
  72
  73   return result;
  74 }
  75
  76 volatile double qnanval;
  77 volatile long double lqnanval;
  78 /* A sNaN is only guaranteed to be representable in variables with static (or
  79    thread-local) storage duration.  */
  80 static volatile double snanval = __builtin_nans ("");
  81 static volatile double msnanval = -__builtin_nans ("");
  82 static volatile long double lsnanval = __builtin_nansl ("");
  83 static volatile long double lmsnanval = -__builtin_nansl ("");
  84 volatile double infval;
  85 volatile long double linfval;
  86
  87
  88 static int
  89 F (void)
  90 {
  91   char buf[80];
  92   wchar_t wbuf[40];
  93   int result = 0;
  94
  95   qnanval = NAN;
  96
  97   /* The %f and %F arguments are in fact constants, but GCC is
  98      prevented from seeing this (volatile is used) so it cannot tell
  99      that the output is not truncated.  */
 100   DIAG_PUSH_NEEDS_COMMENT;
 101 #if __GNUC_PREREQ (7, 0)
 102   DIAG_IGNORE_NEEDS_COMMENT (7.0, "-Wformat-truncation");
 103 #endif
 104
 105   snprintf (buf, sizeof buf, "%a %A %e %E %f %F %g %G",
 106             qnanval, qnanval, qnanval, qnanval,
 107             qnanval, qnanval, qnanval, qnanval);
 108   result |= strcmp (buf, "nan NAN nan NAN nan NAN nan NAN") != 0;
 109   printf ("expected \"nan NAN nan NAN nan NAN nan NAN\", got \"%s\"\n", buf);
 110
 111   snprintf (buf, sizeof buf, "%a %A %e %E %f %F %g %G",
 112             -qnanval, -qnanval, -qnanval, -qnanval,
 113             -qnanval, -qnanval, -qnanval, -qnanval);
 114   result |= strcmp (buf, "-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 115   printf ("expected \"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got \"%s\"\n",
 116           buf);
 117
 118   snprintf (buf, sizeof buf, "%a %A %e %E %f %F %g %G",
 119             snanval, snanval, snanval, snanval,
 120             snanval, snanval, snanval, snanval);
 121   result |= strcmp (buf, "nan NAN nan NAN nan NAN nan NAN") != 0;
 122   printf ("expected \"nan NAN nan NAN nan NAN nan NAN\", got \"%s\"\n", buf);
 123
 124   snprintf (buf, sizeof buf, "%a %A %e %E %f %F %g %G",
 125             msnanval, msnanval, msnanval, msnanval,
 126             msnanval, msnanval, msnanval, msnanval);
 127   result |= strcmp (buf, "-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 128   printf ("expected \"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got \"%s\"\n",
 129           buf);
 130
 131   infval = DBL_MAX * DBL_MAX;
 132
 133   snprintf (buf, sizeof buf, "%a %A %e %E %f %F %g %G",
 134             infval, infval, infval, infval, infval, infval, infval, infval);
 135   result |= strcmp (buf, "inf INF inf INF inf INF inf INF") != 0;
 136   printf ("expected \"inf INF inf INF inf INF inf INF\", got \"%s\"\n", buf);
 137
 138   snprintf (buf, sizeof buf, "%a %A %e %E %f %F %g %G",
 139             -infval, -infval, -infval, -infval,
 140             -infval, -infval, -infval, -infval);
 141   result |= strcmp (buf, "-inf -INF -inf -INF -inf -INF -inf -INF") != 0;
 142   printf ("expected \"-inf -INF -inf -INF -inf -INF -inf -INF\", got \"%s\"\n",
 143           buf);
 144
 145   swprintf (wbuf, array_length (wbuf), L"%a %A %e %E %f %F %g %G",
 146             qnanval, qnanval, qnanval, qnanval,
 147             qnanval, qnanval, qnanval, qnanval);
 148   result |= wcscmp (wbuf, L"nan NAN nan NAN nan NAN nan NAN") != 0;
 149   printf ("expected L\"nan NAN nan NAN nan NAN nan NAN\", got L\"%S\"\n", wbuf);
 150
 151   swprintf (wbuf, array_length (wbuf), L"%a %A %e %E %f %F %g %G",
 152             -qnanval, -qnanval, -qnanval, -qnanval,
 153             -qnanval, -qnanval, -qnanval, -qnanval);
 154   result |= wcscmp (wbuf, L"-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 155   printf ("expected L\"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got L\"%S\"\n",
 156           wbuf);
 157
 158   swprintf (wbuf, array_length (wbuf), L"%a %A %e %E %f %F %g %G",
 159             snanval, snanval, snanval, snanval,
 160             snanval, snanval, snanval, snanval);
 161   result |= wcscmp (wbuf, L"nan NAN nan NAN nan NAN nan NAN") != 0;
 162   printf ("expected L\"nan NAN nan NAN nan NAN nan NAN\", got L\"%S\"\n", wbuf);
 163
 164   swprintf (wbuf, array_length (wbuf), L"%a %A %e %E %f %F %g %G",
 165             msnanval, msnanval, msnanval, msnanval,
 166             msnanval, msnanval, msnanval, msnanval);
 167   result |= wcscmp (wbuf, L"-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 168   printf ("expected L\"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got L\"%S\"\n",
 169           wbuf);
 170
 171   swprintf (wbuf, array_length (wbuf), L"%a %A %e %E %f %F %g %G",
 172             infval, infval, infval, infval, infval, infval, infval, infval);
 173   result |= wcscmp (wbuf, L"inf INF inf INF inf INF inf INF") != 0;
 174   printf ("expected L\"inf INF inf INF inf INF inf INF\", got L\"%S\"\n", wbuf);
 175
 176   swprintf (wbuf, array_length (wbuf), L"%a %A %e %E %f %F %g %G",
 177             -infval, -infval, -infval, -infval,
 178             -infval, -infval, -infval, -infval);
 179   result |= wcscmp (wbuf, L"-inf -INF -inf -INF -inf -INF -inf -INF") != 0;
 180   printf ("expected L\"-inf -INF -inf -INF -inf -INF -inf -INF\", got L\"%S\"\n",
 181           wbuf);
 182
 183   lqnanval = NAN;
 184
 185   snprintf (buf, sizeof buf, "%La %LA %Le %LE %Lf %LF %Lg %LG",
 186             lqnanval, lqnanval, lqnanval, lqnanval,
 187             lqnanval, lqnanval, lqnanval, lqnanval);
 188   result |= strcmp (buf, "nan NAN nan NAN nan NAN nan NAN") != 0;
 189   printf ("expected \"nan NAN nan NAN nan NAN nan NAN\", got \"%s\"\n", buf);
 190
 191   snprintf (buf, sizeof buf, "%La %LA %Le %LE %Lf %LF %Lg %LG",
 192             -lqnanval, -lqnanval, -lqnanval, -lqnanval,
 193             -lqnanval, -lqnanval, -lqnanval, -lqnanval);
 194   result |= strcmp (buf, "-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 195   printf ("expected \"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got \"%s\"\n",
 196           buf);
 197
 198   snprintf (buf, sizeof buf, "%La %LA %Le %LE %Lf %LF %Lg %LG",
 199             lsnanval, lsnanval, lsnanval, lsnanval,
 200             lsnanval, lsnanval, lsnanval, lsnanval);
 201   result |= strcmp (buf, "nan NAN nan NAN nan NAN nan NAN") != 0;
 202   printf ("expected \"nan NAN nan NAN nan NAN nan NAN\", got \"%s\"\n", buf);
 203
 204   snprintf (buf, sizeof buf, "%La %LA %Le %LE %Lf %LF %Lg %LG",
 205             lmsnanval, lmsnanval, lmsnanval, lmsnanval,
 206             lmsnanval, lmsnanval, lmsnanval, lmsnanval);
 207   result |= strcmp (buf, "-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 208   printf ("expected \"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got \"%s\"\n",
 209           buf);
 210
 211   linfval = LDBL_MAX * LDBL_MAX;
 212
 213   snprintf (buf, sizeof buf, "%La %LA %Le %LE %Lf %LF %Lg %LG",
 214             linfval, linfval, linfval, linfval,
 215             linfval, linfval, linfval, linfval);
 216   result |= strcmp (buf, "inf INF inf INF inf INF inf INF") != 0;
 217   printf ("expected \"inf INF inf INF inf INF inf INF\", got \"%s\"\n", buf);
 218
 219   snprintf (buf, sizeof buf, "%La %LA %Le %LE %Lf %LF %Lg %LG",
 220             -linfval, -linfval, -linfval, -linfval,
 221             -linfval, -linfval, -linfval, -linfval);
 222   result |= strcmp (buf, "-inf -INF -inf -INF -inf -INF -inf -INF") != 0;
 223   printf ("expected \"-inf -INF -inf -INF -inf -INF -inf -INF\", got \"%s\"\n",
 224           buf);
 225
 226   swprintf (wbuf, array_length (wbuf),
 227             L"%La %LA %Le %LE %Lf %LF %Lg %LG",
 228             lqnanval, lqnanval, lqnanval, lqnanval,
 229             lqnanval, lqnanval, lqnanval, lqnanval);
 230   result |= wcscmp (wbuf, L"nan NAN nan NAN nan NAN nan NAN") != 0;
 231   printf ("expected L\"nan NAN nan NAN nan NAN nan NAN\", got L\"%S\"\n", wbuf);
 232
 233   swprintf (wbuf, array_length (wbuf),
 234             L"%La %LA %Le %LE %Lf %LF %Lg %LG",
 235             -lqnanval, -lqnanval, -lqnanval, -lqnanval,
 236             -lqnanval, -lqnanval, -lqnanval, -lqnanval);
 237   result |= wcscmp (wbuf, L"-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 238   printf ("expected L\"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got L\"%S\"\n",
 239           wbuf);
 240
 241   swprintf (wbuf, array_length (wbuf),
 242             L"%La %LA %Le %LE %Lf %LF %Lg %LG",
 243             lsnanval, lsnanval, lsnanval, lsnanval,
 244             lsnanval, lsnanval, lsnanval, lsnanval);
 245   result |= wcscmp (wbuf, L"nan NAN nan NAN nan NAN nan NAN") != 0;
 246   printf ("expected L\"nan NAN nan NAN nan NAN nan NAN\", got L\"%S\"\n", wbuf);
 247
 248   swprintf (wbuf, array_length (wbuf),
 249             L"%La %LA %Le %LE %Lf %LF %Lg %LG",
 250             lmsnanval, lmsnanval, lmsnanval, lmsnanval,
 251             lmsnanval, lmsnanval, lmsnanval, lmsnanval);
 252   result |= wcscmp (wbuf, L"-nan -NAN -nan -NAN -nan -NAN -nan -NAN") != 0;
 253   printf ("expected L\"-nan -NAN -nan -NAN -nan -NAN -nan -NAN\", got L\"%S\"\n",
 254           wbuf);
 255
 256   swprintf (wbuf, array_length (wbuf),
 257             L"%La %LA %Le %LE %Lf %LF %Lg %LG",
 258             linfval, linfval, linfval, linfval,
 259             linfval, linfval, linfval, linfval);
 260   result |= wcscmp (wbuf, L"inf INF inf INF inf INF inf INF") != 0;
 261   printf ("expected L\"inf INF inf INF inf INF inf INF\", got L\"%S\"\n", wbuf);
 262
 263   swprintf (wbuf, array_length (wbuf),
 264             L"%La %LA %Le %LE %Lf %LF %Lg %LG",
 265             -linfval, -linfval, -linfval, -linfval,
 266             -linfval, -linfval, -linfval, -linfval);
 267   result |= wcscmp (wbuf, L"-inf -INF -inf -INF -inf -INF -inf -INF") != 0;
 268   printf ("expected L\"-inf -INF -inf -INF -inf -INF -inf -INF\", got L\"%S\"\n",
 269           wbuf);
 270
 271   DIAG_POP_NEEDS_COMMENT;
 272
 273   return result;
 274 }
 275
 276 int
 277 main (int argc, char *argv[])
 278 {
 279   int result = 0;
 280
 281   result |= t1 ();
 282   result |= t2 ();
 283   result |= t3 ();
 284   result |= F ();
 285
 286   result |= fflush (stdout) == EOF;
 287
 288   return result;
 289 }