gcc/testsuite/c-c++-common/builtin-arith-overflow-2.c

   1 /* PR c/68120 - can't easily deal with integer overflow at compile time */
   2 /* { dg-do run } */
   3 /* { dg-additional-options "-Wno-long-long" } */
   4 /* { dg-skip-if "Program too big" { "avr-*-*" } } */
   5
   6 #define SCHAR_MAX    __SCHAR_MAX__
   7 #define SHRT_MAX     __SHRT_MAX__
   8 #define INT_MAX      __INT_MAX__
   9 #define LONG_MAX     __LONG_MAX__
  10 #define LLONG_MAX    __LONG_LONG_MAX__
  11
  12 #define SCHAR_MIN    (-__SCHAR_MAX__ - 1)
  13 #define SHRT_MIN     (-__SHRT_MAX__ - 1)
  14 #define INT_MIN      (-__INT_MAX__ - 1)
  15 #define LONG_MIN     (-__LONG_MAX__ - 1)
  16 #define LLONG_MIN    (-__LONG_LONG_MAX__ - 1)
  17
  18 #define UCHAR_MAX    (SCHAR_MAX * 2U + 1)
  19 #define USHRT_MAX    (SHRT_MAX * 2U + 1)
  20 #define UINT_MAX     (INT_MAX * 2U + 1)
  21 #define ULONG_MAX    (LONG_MAX * 2LU + 1)
  22 #define ULLONG_MAX   (LLONG_MAX * 2LLU + 1)
  23
  24 #define USCHAR_MIN   (-__USCHAR_MAX__ - 1)
  25 #define USHRT_MIN    (-__USHRT_MAX__ - 1)
  26 #define UINT_MIN     (-__UINT_MAX__ - 1)
  27 #define ULONG_MIN    (-__ULONG_MAX__ - 1)
  28 #define ULLONG_MIN   (-__ULONG_LONG_MAX__ - 1)
  29
  30 /* Number of failed runtime assertions.  */
  31 int nfails;
  32
  33 void __attribute__ ((noclone, noinline))
  34 runtime_assert (int expr, int line)
  35 {
  36   if (!expr)
  37     {
  38       __builtin_printf ("line %i: assertion failed\n", line);
  39       ++nfails;
  40     }
  41 }
  42
  43 /* Helper macros for run-time testing.  */
  44 #define add(x, y) ((x) + (y))
  45 #define sadd(x, y) ((x) + (y))
  46 #define saddl(x, y) ((x) + (y))
  47 #define saddll(x, y) ((x) + (y))
  48 #define uadd(x, y) ((x) + (y))
  49 #define uaddl(x, y) ((x) + (y))
  50 #define uaddll(x, y) ((x) + (y))
  51 #define sub(x, y) ((x) - (y))
  52 #define ssub(x, y) ((x) - (y))
  53 #define ssubl(x, y) ((x) - (y))
  54 #define ssubll(x, y) ((x) - (y))
  55 #define usub(x, y) ((x) - (y))
  56 #define usubl(x, y) ((x) - (y))
  57 #define usubll(x, y) ((x) - (y))
  58 #define mul(x, y) ((x) * (y))
  59 #define smul(x, y) ((x) * (y))
  60 #define smull(x, y) ((x) * (y))
  61 #define smulll(x, y) ((x) * (y))
  62 #define umul(x, y) ((x) * (y))
  63 #define umull(x, y) ((x) * (y))
  64 #define umulll(x, y) ((x) * (y))
  65
  66 int main (void)
  67 {
  68
  69 #if __cplusplus >= 201103L
  70 #  define StaticAssert(expr) static_assert ((expr), #expr)
  71 #elif __STDC_VERSION__ >= 201112L
  72 #  define StaticAssert(expr) _Static_assert ((expr), #expr)
  73 #else
  74   /* The following pragma has no effect due to bug 70888 - #pragma
  75      diagnostic ignored -Wlong-long ineffective with __LONG_LONG_MAX__
  76      in c++98 mode.  */
  77 #  pragma GCC diagnostic ignored "-Wlong-long"
  78 #  pragma GCC diagnostic ignored "-Wunused-local-typedefs"
  79
  80 #  define CONCAT(a, b)  a ## b
  81 #  define CAT(a, b)     CONCAT (a, b)
  82 #  define StaticAssert(expr)                                    \
  83      typedef int CAT (StaticAssert_, __LINE__) [1 - 2 * !(expr)]
  84 #endif
  85
  86   /* Make extra effort to prevent constant folding seeing the constant
  87      values of the arguments and optimizing the run-time test into
  88      a constant.  */
  89 #define RuntimeAssert(op, T, U, x, y, vflow)                            \
  90   do {                                                                  \
  91     volatile T a = (x), b = (y);                                        \
  92     U c = 0;                                                            \
  93     volatile int vf = __builtin_ ## op ## _overflow (a, b, &c);         \
  94     runtime_assert ((vf == vflow), __LINE__);                           \
  95     if (vf == 0)                                                        \
  96       runtime_assert (op (a, b) == c, __LINE__);                        \
  97   } while (0)
  98
  99   /* Verify that each call to the type-generic __builtin_op_overflow(x, y)
 100      yields a constant expression equal to z indicating whether or not
 101      the constant expression (x op y) overflows when evaluated in type T.  */
 102 #  define G_TEST(op, T, x, y, vflow)                                    \
 103   RuntimeAssert(op, __typeof__ (op (x, y)), T, x, y, vflow);            \
 104   StaticAssert ((vflow) == __builtin_ ## op ## _overflow_p ((x), (y), (T)0))
 105
 106   /* Addition.  */
 107   G_TEST (add, signed char,    0,         0,         0);
 108   G_TEST (add, signed char,    0,         SCHAR_MAX, 0);
 109   G_TEST (add, signed char,    1,         SCHAR_MAX, 1);
 110   G_TEST (add, signed char,    SCHAR_MAX, SCHAR_MAX, 1);
 111   G_TEST (add, signed char,    0,         SCHAR_MIN, 0);
 112   G_TEST (add, signed char,   -1,         SCHAR_MIN, 1);
 113   /* Verify any slicing in the result type doesn't prevent the overflow
 114      from being detected.  */
 115   G_TEST (add, signed char,    UCHAR_MAX + 1, 0,     1);
 116   G_TEST (add, signed char,    UCHAR_MAX + 1, 1,     1);
 117   G_TEST (add, signed char,    1, UCHAR_MAX + 1,     1);
 118
 119   G_TEST (add, unsigned char,  0,        0,          0);
 120   /* Verify any slicing in the result type doesn't prevent the overflow
 121      from being detected.  */
 122   G_TEST (add, unsigned char,  UCHAR_MAX + 1, 0,     1);
 123   G_TEST (add, unsigned char,  UCHAR_MAX + 1, 1,     1);
 124   G_TEST (add, unsigned char,  1, UCHAR_MAX + 1,     1);
 125
 126   G_TEST (add, short,          0,         0,         0);
 127   G_TEST (add, short,          0,         SHRT_MAX,  0);
 128   G_TEST (add, short,          1,         SHRT_MAX,  1);
 129   G_TEST (add, short,          SHRT_MAX,  SHRT_MAX,  1);
 130   G_TEST (add, short,          0,         SHRT_MIN,  0);
 131   G_TEST (add, short,         -1,         SHRT_MIN,  1);
 132   G_TEST (add, short,          SHRT_MIN,  SHRT_MIN,  1);
 133
 134   G_TEST (add, int,            0,         0,         0);
 135   G_TEST (add, int,            0,         INT_MAX,   0);
 136   G_TEST (add, int,            1,         INT_MAX,   1);
 137   G_TEST (add, int,            INT_MAX,   INT_MAX,   1);
 138   G_TEST (add, int,            0,         INT_MIN,   0);
 139   G_TEST (add, int,           -1,         INT_MIN,   1);
 140   G_TEST (add, int,            INT_MIN,   INT_MIN,   1);
 141
 142   G_TEST (add, long,           0,         0,         0);
 143   G_TEST (add, long,           0,         LONG_MAX,  0);
 144   G_TEST (add, long,           1,         LONG_MAX,  1);
 145   G_TEST (add, long,           LONG_MAX,  LONG_MAX,  1);
 146   G_TEST (add, long,           0,         LONG_MIN,  0);
 147   G_TEST (add, long,          -1,         LONG_MIN,  1);
 148   G_TEST (add, long,           LONG_MIN,  LONG_MIN,  1);
 149
 150   G_TEST (add, long long,      0,         0,          0);
 151   G_TEST (add, long long,      0,         LLONG_MAX,  0);
 152   G_TEST (add, long long,      1,         LLONG_MAX,  1);
 153   G_TEST (add, long long,      LLONG_MAX, LLONG_MAX,  1);
 154   G_TEST (add, long long,      0,         LLONG_MIN,  0);
 155   G_TEST (add, long long,     -1,         LLONG_MIN,  1);
 156   G_TEST (add, long long,      LLONG_MIN, LLONG_MIN,  1);
 157
 158   /* Subtraction */
 159   G_TEST (sub, unsigned char,  0,         0,          0);
 160   G_TEST (sub, unsigned char,  0,         UCHAR_MAX,  1);
 161   G_TEST (sub, unsigned char,  1,         UCHAR_MAX,  1);
 162
 163   G_TEST (sub, unsigned char,  UCHAR_MAX, UCHAR_MAX,  0);
 164   G_TEST (sub, unsigned short, 0,         0,          0);
 165   G_TEST (sub, unsigned short, 0,         USHRT_MAX,  1);
 166   G_TEST (sub, unsigned short, 1,         USHRT_MAX,  1);
 167   G_TEST (sub, unsigned short, USHRT_MAX, USHRT_MAX,  0);
 168
 169   G_TEST (sub, unsigned,       0,         0,          0);
 170   G_TEST (sub, unsigned,       0,         UINT_MAX,   1);
 171   G_TEST (sub, unsigned,       1,         UINT_MAX,   1);
 172   G_TEST (sub, unsigned,       UINT_MAX,  UINT_MAX,   0);
 173
 174   G_TEST (sub, unsigned long,  0,         0,          0);
 175   G_TEST (sub, unsigned long,  0,         ULONG_MAX,  1);
 176   G_TEST (sub, unsigned long,  1,         ULONG_MAX,  1);
 177   G_TEST (sub, unsigned long,  ULONG_MAX, ULONG_MAX,  0);
 178
 179   G_TEST (sub, unsigned long long,  0,          0,          0);
 180   G_TEST (sub, unsigned long long,  0,          ULLONG_MAX, 1);
 181   G_TEST (sub, unsigned long long,  1,          ULLONG_MAX, 1);
 182   G_TEST (sub, unsigned long long,  ULLONG_MAX, ULLONG_MAX, 0);
 183
 184   G_TEST (sub, signed char,    0,         0,           0);
 185   G_TEST (sub, signed char,    0,         SCHAR_MAX,   0);
 186   G_TEST (sub, signed char,    1,         SCHAR_MAX,   0);
 187   G_TEST (sub, signed char,    SCHAR_MAX, SCHAR_MAX,   0);
 188   G_TEST (sub, signed char,    SCHAR_MIN,         1,   1);
 189   G_TEST (sub, signed char,    0,         SCHAR_MIN,   1);
 190   G_TEST (sub, signed char,   -1,         SCHAR_MIN,   0);
 191
 192   G_TEST (sub, short,          0,         0,           0);
 193   G_TEST (sub, short,          0,         SHRT_MAX,    0);
 194   G_TEST (sub, short,          1,         SHRT_MAX,    0);
 195   G_TEST (sub, short,          SHRT_MAX,  SHRT_MAX,    0);
 196   G_TEST (sub, short,          0,         SHRT_MIN,    1);
 197   G_TEST (sub, short,         -1,         SHRT_MIN,    0);
 198   G_TEST (sub, short,          SHRT_MIN,  SHRT_MIN,    0);
 199
 200   G_TEST (sub, int,            0,         0,           0);
 201   G_TEST (sub, int,            0,         INT_MAX,     0);
 202   G_TEST (sub, int,            1,         INT_MAX,     0);
 203   G_TEST (sub, int,            INT_MAX,   INT_MAX,     0);
 204   G_TEST (sub, int,            0,         INT_MIN,     1);
 205   G_TEST (sub, int,           -1,         INT_MIN,     0);
 206   G_TEST (sub, int,            INT_MIN,   INT_MIN,     0);
 207
 208   G_TEST (sub, long,           0,         0,           0);
 209   G_TEST (sub, long,           0,         LONG_MAX,    0);
 210   G_TEST (sub, long,           1,         LONG_MAX,    0);
 211   G_TEST (sub, long,           LONG_MAX,  LONG_MAX,    0);
 212   G_TEST (sub, long,           0,         LONG_MIN,    1);
 213   G_TEST (sub, long,          -1,         LONG_MIN,    0);
 214   G_TEST (sub, long,           LONG_MIN,  LONG_MIN,    0);
 215
 216   G_TEST (sub, long long,      0,           0,           0);
 217   G_TEST (sub, long long,      0,           LLONG_MAX,   0);
 218   G_TEST (sub, long long,      1,           LLONG_MAX,   0);
 219   G_TEST (sub, long long,      LLONG_MAX,   LLONG_MAX,   0);
 220   G_TEST (sub, long long,      0,           LLONG_MIN,   1);
 221   G_TEST (sub, long long,     -1,           LLONG_MIN,   0);
 222   G_TEST (sub, long long,      LLONG_MIN,   LLONG_MIN,   0);
 223
 224   G_TEST (sub, unsigned char,  0,         0,          0);
 225   G_TEST (sub, unsigned char,  0,         UCHAR_MAX,  1);
 226   G_TEST (sub, unsigned char,  1,         UCHAR_MAX,  1);
 227   G_TEST (sub, unsigned char,  UCHAR_MAX, UCHAR_MAX,  0);
 228
 229   G_TEST (sub, unsigned short, 0,         0,          0);
 230   G_TEST (sub, unsigned short, 0,         USHRT_MAX,  1);
 231   G_TEST (sub, unsigned short, 1,         USHRT_MAX,  1);
 232   G_TEST (sub, unsigned short, USHRT_MAX, USHRT_MAX,  0);
 233
 234   G_TEST (sub, unsigned,       0,         0,          0);
 235   G_TEST (sub, unsigned,       0,         UINT_MAX,   1);
 236   G_TEST (sub, unsigned,       1,         UINT_MAX,   1);
 237   G_TEST (sub, unsigned,       UINT_MAX,  UINT_MAX,   0);
 238
 239   G_TEST (sub, unsigned long,  0,         0,          0);
 240   G_TEST (sub, unsigned long,  0,         ULONG_MAX,  1);
 241   G_TEST (sub, unsigned long,  1,         ULONG_MAX,  1);
 242   G_TEST (sub, unsigned long,  ULONG_MAX, ULONG_MAX,  0);
 243
 244   G_TEST (sub, unsigned long long,  0,          0,          0);
 245   G_TEST (sub, unsigned long long,  0,          ULLONG_MAX, 1);
 246   G_TEST (sub, unsigned long long,  1,          ULLONG_MAX, 1);
 247   G_TEST (sub, unsigned long long,  ULLONG_MAX, ULLONG_MAX, 0);
 248
 249   /* Multiplication.  */
 250   G_TEST (mul, unsigned char,  0,         0,          0);
 251   G_TEST (mul, unsigned char,  0,         UCHAR_MAX,  0);
 252   G_TEST (mul, unsigned char,  1,         UCHAR_MAX,  0);
 253   G_TEST (mul, unsigned char,  2,         UCHAR_MAX,  1);
 254   G_TEST (mul, unsigned char,  UCHAR_MAX, UCHAR_MAX,  1);
 255
 256   G_TEST (mul, unsigned short, 0,         0,          0);
 257   G_TEST (mul, unsigned short, 0,         USHRT_MAX,  0);
 258   G_TEST (mul, unsigned short, 1,         USHRT_MAX,  0);
 259   G_TEST (mul, unsigned short, USHRT_MAX, 2,          1);
 260   G_TEST (mul, unsigned short, USHRT_MAX, USHRT_MAX,  1);
 261
 262   G_TEST (mul, unsigned,       0,         0,          0);
 263   G_TEST (mul, unsigned,       0,         UINT_MAX,   0);
 264   G_TEST (mul, unsigned,       1,         UINT_MAX,   0);
 265   G_TEST (mul, unsigned,       2,         UINT_MAX,   1);
 266   G_TEST (mul, unsigned,       UINT_MAX,  UINT_MAX,   1);
 267
 268   G_TEST (mul, unsigned long,  0,         0,          0);
 269   G_TEST (mul, unsigned long,  0,         ULONG_MAX,  0);
 270   G_TEST (mul, unsigned long,  1,         ULONG_MAX,  0);
 271   G_TEST (mul, unsigned long,  2,         ULONG_MAX,  1);
 272   G_TEST (mul, unsigned long,  ULONG_MAX, ULONG_MAX,  1);
 273
 274   G_TEST (mul, unsigned long long,  0,          0,          0);
 275   G_TEST (mul, unsigned long long,  0,          ULLONG_MAX, 0);
 276   G_TEST (mul, unsigned long long,  1,          ULLONG_MAX, 0);
 277   G_TEST (mul, unsigned long long,  2,          ULLONG_MAX, 1);
 278   G_TEST (mul, unsigned long long,  ULLONG_MAX, ULLONG_MAX, 1);
 279
 280   G_TEST (mul, signed char,  0,         0,           0);
 281   G_TEST (mul, signed char,  0,         SCHAR_MAX,   0);
 282   G_TEST (mul, signed char,  1,         SCHAR_MAX,   0);
 283   G_TEST (mul, signed char,  SCHAR_MAX, SCHAR_MAX,   1);
 284   G_TEST (mul, signed char,  SCHAR_MIN,         1,   0);
 285   G_TEST (mul, signed char,  0,         SCHAR_MIN,   0);
 286   G_TEST (mul, signed char, -1,         SCHAR_MIN,   1);
 287
 288   G_TEST (mul, short,        0,         0,           0);
 289   G_TEST (mul, short,        0,         SHRT_MAX,    0);
 290   G_TEST (mul, short,        1,         SHRT_MAX,    0);
 291   G_TEST (mul, short,        SHRT_MAX,  SHRT_MAX,    1);
 292   G_TEST (mul, short,        0,         SHRT_MIN,    0);
 293   G_TEST (mul, short,       -1,         SHRT_MIN,    1);
 294   G_TEST (mul, short,        SHRT_MIN,  SHRT_MIN,    1);
 295
 296   G_TEST (mul, int,          0,         0,           0);
 297   G_TEST (mul, int,          0,         INT_MAX,     0);
 298   G_TEST (mul, int,          1,         INT_MAX,     0);
 299   G_TEST (mul, int,          INT_MAX,   INT_MAX,     1);
 300   G_TEST (mul, int,          0,         INT_MIN,     0);
 301   G_TEST (mul, int,         -1,         INT_MIN,     1);
 302   G_TEST (mul, int,          INT_MIN,   INT_MIN,     1);
 303
 304   G_TEST (mul, long,         0,         0,           0);
 305   G_TEST (mul, long,         0,         LONG_MAX,    0);
 306   G_TEST (mul, long,         1,         LONG_MAX,    0);
 307   G_TEST (mul, long,         LONG_MAX,  LONG_MAX,    1);
 308   G_TEST (mul, long,         0,         LONG_MIN,    0);
 309   G_TEST (mul, long,        -1,         LONG_MIN,    1);
 310   G_TEST (mul, long,         LONG_MIN,  LONG_MIN,    1);
 311
 312   G_TEST (mul, long long,    0,           0,           0);
 313   G_TEST (mul, long long,    0,           LLONG_MAX,   0);
 314   G_TEST (mul, long long,    1,           LLONG_MAX,   0);
 315   G_TEST (mul, long long,    LLONG_MAX,   LLONG_MAX,   1);
 316   G_TEST (mul, long long,    0,           LLONG_MIN,   0);
 317   G_TEST (mul, long long,   -1,           LLONG_MIN,   1);
 318   G_TEST (mul, long long,    LLONG_MIN,   LLONG_MIN,   1);
 319
 320   G_TEST (mul, unsigned char,  0,         0,          0);
 321   G_TEST (mul, unsigned char,  0,         UCHAR_MAX,  0);
 322   G_TEST (mul, unsigned char,  1,         UCHAR_MAX,  0);
 323   G_TEST (mul, unsigned char,  UCHAR_MAX, UCHAR_MAX,  1);
 324
 325   G_TEST (mul, unsigned short, 0,         0,          0);
 326   G_TEST (mul, unsigned short, 0,         USHRT_MAX,  0);
 327   G_TEST (mul, unsigned short, 1,         USHRT_MAX,  0);
 328   G_TEST (mul, unsigned short, USHRT_MAX, USHRT_MAX,  1);
 329
 330   G_TEST (mul, unsigned,       0,         0,          0);
 331   G_TEST (mul, unsigned,       0,         UINT_MAX,   0);
 332   G_TEST (mul, unsigned,       1,         UINT_MAX,   0);
 333   G_TEST (mul, unsigned,       UINT_MAX,  UINT_MAX,   1);
 334
 335   G_TEST (mul, unsigned long,  0,         0,          0);
 336   G_TEST (mul, unsigned long,  0,         ULONG_MAX,  0);
 337   G_TEST (mul, unsigned long,  1,         ULONG_MAX,  0);
 338   G_TEST (mul, unsigned long,  ULONG_MAX, ULONG_MAX,  1);
 339
 340   G_TEST (mul, unsigned long long,  0,          0,          0);
 341   G_TEST (mul, unsigned long long,  0,          ULLONG_MAX, 0);
 342   G_TEST (mul, unsigned long long,  1,          ULLONG_MAX, 0);
 343   G_TEST (mul, unsigned long long,  ULLONG_MAX, ULLONG_MAX, 1);
 344
 345   /* Verify that each call to the type-specific __builtin_op_overflow
 346      evaluates to a (not-necessarily constant) expression indicating
 347      whether or not the constant expression (x op y) overflows.
 348      The type-specific forms of the built-ins detect overflow after
 349      arithmetic promotions and so unlike the type-generic overloads
 350      cannot detect overflow in char or short types.  */
 351
 352 #define T_TEST(op, T, x, y, vflow)                              \
 353   RuntimeAssert (op, T, __typeof__ ((x) + (y)), x, y, vflow)
 354
 355   /* Signed int addition.  */
 356   T_TEST (sadd,   signed char,    0,         0,         0);
 357   T_TEST (sadd,   signed char,    0,         SCHAR_MAX, 0);
 358   T_TEST (sadd,   signed char,    1,         SCHAR_MAX, 0);
 359   T_TEST (sadd,   signed char,    SCHAR_MAX, SCHAR_MAX, 0);
 360   T_TEST (sadd,   signed char,    0,         SCHAR_MIN, 0);
 361   T_TEST (sadd,   signed char,   -1,         SCHAR_MIN, 0);
 362
 363   T_TEST (sadd,   short,          0,         0,         0);
 364   T_TEST (sadd,   short,          0,         SHRT_MAX,  0);
 365   T_TEST (sadd,   short,          1,         SHRT_MAX,  0);
 366   T_TEST (sadd,   short,          SHRT_MAX,  SHRT_MAX,  0);
 367   T_TEST (sadd,   short,          0,         SHRT_MIN,  0);
 368   T_TEST (sadd,   short,         -1,         SHRT_MIN,  0);
 369   T_TEST (sadd,   short,          SHRT_MIN,  SHRT_MIN,  0);
 370
 371   T_TEST (sadd,   int,            0,         0,         0);
 372   T_TEST (sadd,   int,            0,         INT_MAX,   0);
 373   T_TEST (sadd,   int,            1,         INT_MAX,   1);
 374   T_TEST (sadd,   int,            INT_MAX,   INT_MAX,   1);
 375   T_TEST (sadd,   int,            0,         INT_MIN,   0);
 376   T_TEST (sadd,   int,           -1,         INT_MIN,   1);
 377   T_TEST (sadd,   int,            INT_MIN,   INT_MIN,   1);
 378
 379   /* Signed long addition.  */
 380   T_TEST (saddl,  long,           0L,        0L,        0);
 381   T_TEST (saddl,  long,           0L,        LONG_MAX,  0);
 382   T_TEST (saddl,  long,           1L,        LONG_MAX,  1);
 383   T_TEST (saddl,  long,           LONG_MAX,  LONG_MAX,  1);
 384   T_TEST (saddl,  long,           0L,        LONG_MIN,  0);
 385   T_TEST (saddl,  long,          -1L,        LONG_MIN,  1);
 386   T_TEST (saddl,  long,           LONG_MIN,  LONG_MIN,  1);
 387
 388   T_TEST (saddll, long long,      0LL,       0LL,        0);
 389   T_TEST (saddll, long long,      0LL,       LLONG_MAX,  0);
 390   T_TEST (saddll, long long,      1LL,       LLONG_MAX,  1);
 391   T_TEST (saddll, long long,      LLONG_MAX, LLONG_MAX,  1);
 392   T_TEST (saddll, long long,      0LL,       LLONG_MIN,  0);
 393   T_TEST (saddll, long long,     -1LL,       LLONG_MIN,  1);
 394   T_TEST (saddll, long long,      LLONG_MIN, LLONG_MIN,  1);
 395
 396   /* Unsigned int addition.  */
 397   T_TEST (uadd,   unsigned char,  0U,        0U,         0);
 398   T_TEST (uadd,   unsigned char,  0U,        UCHAR_MAX, 0);
 399   T_TEST (uadd,   unsigned char,  1U,        UCHAR_MAX, 0);
 400   T_TEST (uadd,   unsigned char,  UCHAR_MAX, UCHAR_MAX, 0);
 401
 402   T_TEST (uadd,   unsigned short, 0U,        0U,         0);
 403   T_TEST (uadd,   unsigned short, 0U,        USHRT_MAX,  0);
 404   T_TEST (uadd,   unsigned short, 1U,        USHRT_MAX,  0);
 405   T_TEST (uadd,   unsigned short, USHRT_MAX, USHRT_MAX,  0);
 406
 407   T_TEST (uadd,   unsigned,       0U,        0U,         0);
 408   T_TEST (uadd,   unsigned,       0U,        UINT_MAX,   0);
 409   T_TEST (uadd,   unsigned,       1U,        UINT_MAX,   1);
 410   T_TEST (uadd,   unsigned,       UINT_MAX,  UINT_MAX,   1);
 411
 412   /* Unsigned long addition.  */
 413   T_TEST (uaddl,  unsigned long,  0UL,       0UL,       0);
 414   T_TEST (uaddl,  unsigned long,  0UL,       ULONG_MAX, 0);
 415   T_TEST (uaddl,  unsigned long,  1UL,       ULONG_MAX, 1);
 416   T_TEST (uaddl,  unsigned long,  ULONG_MAX, ULONG_MAX, 1);
 417
 418   T_TEST (uaddll, unsigned long long, 0ULL,       0ULL,       0);
 419   T_TEST (uaddll, unsigned long long, 0ULL,       ULLONG_MAX, 0);
 420   T_TEST (uaddll, unsigned long long, 1ULL,       ULLONG_MAX, 1);
 421   T_TEST (uaddll, unsigned long long, ULLONG_MAX, ULLONG_MAX, 1);
 422
 423   /* Signed int subtraction.  */
 424   T_TEST (ssub,   signed char,    0,         0,          0);
 425   T_TEST (ssub,   signed char,    0,         SCHAR_MAX,  0);
 426   T_TEST (ssub,   signed char,    1,         SCHAR_MAX,  0);
 427   T_TEST (ssub,   signed char,    SCHAR_MAX, SCHAR_MAX,  0);
 428   T_TEST (ssub,   signed char,    0,         SCHAR_MIN,  0);
 429   T_TEST (ssub,   signed char,   -1,         SCHAR_MIN,  0);
 430
 431   T_TEST (ssub,   short,          0,         0,          0);
 432   T_TEST (ssub,   short,          0,         SHRT_MAX,   0);
 433   T_TEST (ssub,   short,          1,         SHRT_MAX,   0);
 434   T_TEST (ssub,   short,          SHRT_MAX,  SHRT_MAX,   0);
 435   T_TEST (ssub,   short,          0,         SHRT_MIN,   0);
 436   T_TEST (ssub,   short,         -1,         SHRT_MIN,   0);
 437   T_TEST (ssub,   short,          SHRT_MIN,  SHRT_MIN,   0);
 438
 439   T_TEST (ssub,   int,            0,         0,          0);
 440   T_TEST (ssub,   int,            0,         INT_MAX,    0);
 441   T_TEST (ssub,   int,            1,         INT_MAX,    0);
 442   T_TEST (ssub,   int,            INT_MAX,   INT_MAX,    0);
 443   T_TEST (ssub,   int,            0,         INT_MIN,    1);
 444   T_TEST (ssub,   int,           -1,         INT_MIN,    0);
 445   T_TEST (ssub,   int,            INT_MIN,   INT_MIN,    0);
 446
 447   /* Signed long subtraction.  */
 448   T_TEST (ssubl,  long,           0L,        0L,         0);
 449   T_TEST (ssubl,  long,           0L,        LONG_MAX,   0);
 450   T_TEST (ssubl,  long,           1L,        LONG_MAX,   0);
 451   T_TEST (ssubl,  long,           LONG_MAX,  LONG_MAX,   0);
 452   T_TEST (ssubl,  long,           0L,        LONG_MIN,   1);
 453   T_TEST (ssubl,  long,          -1L,        LONG_MIN,   0);
 454   T_TEST (ssubl,  long,           LONG_MIN,  LONG_MIN,   0);
 455
 456   /* Signed long long subtraction.  */
 457   T_TEST (ssubll, long long,      0LL,       0LL,        0);
 458   T_TEST (ssubll, long long,      0LL,       LLONG_MAX,  0);
 459   T_TEST (ssubll, long long,      1LL,       LLONG_MAX,  0);
 460   T_TEST (ssubll, long long,      LLONG_MAX, LLONG_MAX,  0);
 461   T_TEST (ssubll, long long,      0LL,       LLONG_MIN,  1);
 462   T_TEST (ssubll, long long,     -1LL,       LLONG_MIN,  0);
 463   T_TEST (ssubll, long long,      LLONG_MIN, LLONG_MIN,  0);
 464
 465   /* Unsigned int subtraction.  */
 466   T_TEST (usub,   unsigned char,  0U,        0U,         0);
 467   T_TEST (usub,   unsigned char,  0U,        UCHAR_MAX,  1);
 468   T_TEST (usub,   unsigned char,  1U,        UCHAR_MAX,  1);
 469   T_TEST (usub,   unsigned char,  UCHAR_MAX, UCHAR_MAX,  0);
 470
 471   T_TEST (usub,   unsigned short, 0U,        0U,         0);
 472   T_TEST (usub,   unsigned short, 0U,        USHRT_MAX,  1);
 473   T_TEST (usub,   unsigned short, 1U,        USHRT_MAX,  1);
 474   T_TEST (usub,   unsigned short, USHRT_MAX, USHRT_MAX,  0);
 475
 476   T_TEST (usub,   unsigned,       0U,        0U,         0);
 477   T_TEST (usub,   unsigned,       0U,        UINT_MAX,   1);
 478   T_TEST (usub,   unsigned,       1U,        UINT_MAX,   1);
 479   T_TEST (usub,   unsigned,       UINT_MAX,  UINT_MAX,   0);
 480
 481   /* Unsigned long subtraction.  */
 482   T_TEST (usubl,  unsigned long,  0UL,       0UL,       0);
 483   T_TEST (usubl,  unsigned long,  0UL,       ULONG_MAX, 1);
 484   T_TEST (usubl,  unsigned long,  1UL,       ULONG_MAX, 1);
 485   T_TEST (usubl,  unsigned long,  ULONG_MAX, ULONG_MAX, 0);
 486
 487   /* Unsigned long long subtraction.  */
 488   T_TEST (usubll, unsigned long long,  0ULL,       0ULL,       0);
 489   T_TEST (usubll, unsigned long long,  0ULL,       ULLONG_MAX, 1);
 490   T_TEST (usubll, unsigned long long,  1ULL,       ULLONG_MAX, 1);
 491   T_TEST (usubll, unsigned long long,  ULLONG_MAX, ULLONG_MAX, 0);
 492
 493   return 0;
 494 }