gcc/testsuite/c-c++-common/torture/builtin-arith-overflow.h

   1 #define SCHAR_MAX __SCHAR_MAX__
   2 #define SCHAR_MIN (-__SCHAR_MAX__ - 1)
   3 #define SHRT_MAX __SHRT_MAX__
   4 #define SHRT_MIN (-__SHRT_MAX__ - 1)
   5 #define INT_MAX __INT_MAX__
   6 #define INT_MIN (-__INT_MAX__ - 1)
   7 #define LONG_MAX __LONG_MAX__
   8 #define LONG_MIN (-__LONG_MAX__ - 1)
   9 #define LLONG_MAX __LONG_LONG_MAX__
  10 #define LLONG_MIN (-__LONG_LONG_MAX__ - 1)
  11
  12 int v;
  13
  14 __attribute__((noinline, noclone)) void
  15 bar (void)
  16 {
  17   v++;
  18 }
  19
  20 #define T(n, t1, t2, tr, v1, v2, vr, b, o) \
  21 __attribute__((noinline, noclone)) tr           \
  22 t##n##_1##b (t1 x, t2 y)                        \
  23 {                                               \
  24   tr r;                                         \
  25   if (__builtin_##b##_overflow (x, y, &r))      \
  26     bar ();                                     \
  27   return r;                                     \
  28 }                                               \
  29                                                 \
  30 __attribute__((noinline, noclone)) tr           \
  31 t##n##_2##b (t2 y)                              \
  32 {                                               \
  33   t1 x = (v1);                                  \
  34   tr r;                                         \
  35   if (__builtin_##b##_overflow (x, y, &r))      \
  36     bar ();                                     \
  37   return r;                                     \
  38 }                                               \
  39                                                 \
  40 __attribute__((noinline, noclone)) tr           \
  41 t##n##_3##b (t2 y)                              \
  42 {                                               \
  43   tr r;                                         \
  44   if (__builtin_##b##_overflow ((t1) (v1), y,   \
  45                                 &r))            \
  46     bar ();                                     \
  47   return r;                                     \
  48 }                                               \
  49                                                 \
  50 __attribute__((noinline, noclone)) tr           \
  51 t##n##_4##b (t1 x)                              \
  52 {                                               \
  53   t2 y = (v2);                                  \
  54   tr r;                                         \
  55   if (__builtin_##b##_overflow (x, y, &r))      \
  56     bar ();                                     \
  57   return r;                                     \
  58 }                                               \
  59                                                 \
  60 __attribute__((noinline, noclone)) tr           \
  61 t##n##_5##b (t1 x)                              \
  62 {                                               \
  63   tr r;                                         \
  64   if (__builtin_##b##_overflow (x, (t2) (v2),   \
  65                                 &r))            \
  66     bar ();                                     \
  67   return r;                                     \
  68 }                                               \
  69                                                 \
  70 __attribute__((noinline, noclone)) void         \
  71 t##n##b (void)                                  \
  72 {                                               \
  73   t1 x = (v1);                                  \
  74   t2 y = (v2);                                  \
  75   tr r1, r2;                                    \
  76   v = 0;                                        \
  77   if (t##n##_1##b (x, y) != (tr) (vr)           \
  78       || t##n##_2##b (y) != (tr) (vr)           \
  79       || t##n##_3##b (y) != (tr) (vr)           \
  80       || t##n##_4##b (x) != (tr) (vr)           \
  81       || t##n##_5##b (x) != (tr) (vr))          \
  82     __builtin_abort ();                         \
  83   if (__builtin_##b##_overflow (x, y, &r1))     \
  84     bar ();                                     \
  85   if (r1 != (tr) (vr))                          \
  86     __builtin_abort ();                         \
  87   if (__builtin_##b##_overflow ((t1) (v1),      \
  88                                 (t2) (v2), &r2))\
  89     bar ();                                     \
  90   if (r2 != (tr) (vr) || v != 7 * o)            \
  91     __builtin_abort ();                         \
  92 }
  93 #define ST(n, t, v1, v2, vr, b, o) \
  94 T (n, t, t, t, v1, v2, vr, b, o)