VERIFY 73 gnulib-tests/test-intprops.c VERIFY (TYPE_SIGNED (signed char));
VERIFY 74 gnulib-tests/test-intprops.c VERIFY (! TYPE_SIGNED (unsigned char));
VERIFY 75 gnulib-tests/test-intprops.c VERIFY (TYPE_SIGNED (short int));
VERIFY 76 gnulib-tests/test-intprops.c VERIFY (! TYPE_SIGNED (unsigned short int));
VERIFY 77 gnulib-tests/test-intprops.c VERIFY (TYPE_SIGNED (int));
VERIFY 78 gnulib-tests/test-intprops.c VERIFY (! TYPE_SIGNED (unsigned int));
VERIFY 79 gnulib-tests/test-intprops.c VERIFY (TYPE_SIGNED (long int));
VERIFY 80 gnulib-tests/test-intprops.c VERIFY (! TYPE_SIGNED (unsigned long int));
VERIFY 81 gnulib-tests/test-intprops.c VERIFY (TYPE_SIGNED (intmax_t));
VERIFY 82 gnulib-tests/test-intprops.c VERIFY (! TYPE_SIGNED (uintmax_t));
VERIFY 88 gnulib-tests/test-intprops.c VERIFY (INT_MIN + INT_MAX < 0
VERIFY 95 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (char) == CHAR_MIN);
VERIFY 96 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (char) == CHAR_MAX);
VERIFY 97 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (unsigned char) == 0);
VERIFY 98 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (unsigned char) == UCHAR_MAX);
VERIFY 99 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (signed char) == SCHAR_MIN);
VERIFY 100 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (signed char) == SCHAR_MAX);
VERIFY 101 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (short int) == SHRT_MIN);
VERIFY 102 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (short int) == SHRT_MAX);
VERIFY 103 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (unsigned short int) == 0);
VERIFY 104 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (unsigned short int) == USHRT_MAX);
VERIFY 105 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (int) == INT_MIN);
VERIFY 106 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (int) == INT_MAX);
VERIFY 107 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (unsigned int) == 0);
VERIFY 108 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (unsigned int) == UINT_MAX);
VERIFY 109 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (long int) == LONG_MIN);
VERIFY 110 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (long int) == LONG_MAX);
VERIFY 111 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (unsigned long int) == 0);
VERIFY 112 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (unsigned long int) == ULONG_MAX);
VERIFY 113 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (intmax_t) == INTMAX_MIN);
VERIFY 114 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (intmax_t) == INTMAX_MAX);
VERIFY 115 gnulib-tests/test-intprops.c VERIFY (TYPE_MINIMUM (uintmax_t) == 0);
VERIFY 116 gnulib-tests/test-intprops.c VERIFY (TYPE_MAXIMUM (uintmax_t) == UINTMAX_MAX);
VERIFY 119 gnulib-tests/test-intprops.c VERIFY (INT_BITS_STRLEN_BOUND (1) == 1);
VERIFY 120 gnulib-tests/test-intprops.c VERIFY (INT_BITS_STRLEN_BOUND (2620) == 789);
VERIFY 124 gnulib-tests/test-intprops.c VERIFY (INT_STRLEN_BOUND (int32_t) == sizeof ("-2147483648") - 1);
VERIFY 125 gnulib-tests/test-intprops.c VERIFY (INT_BUFSIZE_BOUND (int32_t) == sizeof ("-2147483648"));
VERIFY 128 gnulib-tests/test-intprops.c VERIFY (INT_STRLEN_BOUND (int64_t) == sizeof ("-9223372036854775808") - 1);
VERIFY 129 gnulib-tests/test-intprops.c VERIFY (INT_BUFSIZE_BOUND (int64_t) == sizeof ("-9223372036854775808"));
VERIFY 142 gnulib-tests/test-intprops.c VERIFY (INT_ADD_RANGE_OVERFLOW (INT_MAX, 1, INT_MIN, INT_MAX));
VERIFY 143 gnulib-tests/test-intprops.c VERIFY (INT_ADD_OVERFLOW (INT_MAX, 1));
VERIFY 144 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (ADD, INT_MAX, 1, INT_MIN, INT_MAX, true));
VERIFY 145 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (ADD, INT_MAX, -1, INT_MIN, INT_MAX, false));
VERIFY 146 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (ADD, INT_MIN, 1, INT_MIN, INT_MAX, false));
VERIFY 147 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (ADD, INT_MIN, -1, INT_MIN, INT_MAX, true));
VERIFY 148 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (ADD, UINT_MAX, 1u, 0u, UINT_MAX, true));
VERIFY 149 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (ADD, 0u, 1u, 0u, UINT_MAX, false));
VERIFY 151 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (SUBTRACT, INT_MAX, 1, INT_MIN, INT_MAX, false));
VERIFY 152 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (SUBTRACT, INT_MAX, -1, INT_MIN, INT_MAX, true));
VERIFY 153 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (SUBTRACT, INT_MIN, 1, INT_MIN, INT_MAX, true));
VERIFY 154 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (SUBTRACT, INT_MIN, -1, INT_MIN, INT_MAX, false));
VERIFY 155 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (SUBTRACT, UINT_MAX, 1u, 0u, UINT_MAX, false));
VERIFY 156 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (SUBTRACT, 0u, 1u, 0u, UINT_MAX, true));
VERIFY 158 gnulib-tests/test-intprops.c VERIFY (CHECK_UNOP (NEGATE, INT_MIN, INT_MIN, INT_MAX,
VERIFY 160 gnulib-tests/test-intprops.c VERIFY (CHECK_UNOP (NEGATE, 0, INT_MIN, INT_MAX, false));
VERIFY 161 gnulib-tests/test-intprops.c VERIFY (CHECK_UNOP (NEGATE, INT_MAX, INT_MIN, INT_MAX, false));
VERIFY 162 gnulib-tests/test-intprops.c VERIFY (CHECK_UNOP (NEGATE, 0u, 0u, UINT_MAX, false));
VERIFY 163 gnulib-tests/test-intprops.c VERIFY (CHECK_UNOP (NEGATE, 1u, 0u, UINT_MAX, true));
VERIFY 164 gnulib-tests/test-intprops.c VERIFY (CHECK_UNOP (NEGATE, UINT_MAX, 0u, UINT_MAX, true));
VERIFY 166 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (MULTIPLY, INT_MAX, INT_MAX, INT_MIN, INT_MAX, true));
VERIFY 167 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (MULTIPLY, INT_MAX, INT_MIN, INT_MIN, INT_MAX, true));
VERIFY 168 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (MULTIPLY, INT_MIN, INT_MAX, INT_MIN, INT_MAX, true));
VERIFY 169 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (MULTIPLY, INT_MIN, INT_MIN, INT_MIN, INT_MAX, true));
VERIFY 170 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (MULTIPLY, -1, INT_MIN, INT_MIN, INT_MAX,
VERIFY 172 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (MULTIPLY, LONG_MIN / INT_MAX, (long int) INT_MAX,
VERIFY 175 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (DIVIDE, INT_MIN, -1, INT_MIN, INT_MAX,
VERIFY 177 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (DIVIDE, INT_MAX, 1, INT_MIN, INT_MAX, false));
VERIFY 178 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (DIVIDE, (unsigned int) INT_MIN,
VERIFY 181 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (REMAINDER, INT_MIN, -1, INT_MIN, INT_MAX,
VERIFY 183 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (REMAINDER, INT_MAX, 1, INT_MIN, INT_MAX, false));
VERIFY 184 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (REMAINDER, (unsigned int) INT_MIN,
VERIFY 187 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (LEFT_SHIFT, UINT_MAX, 1, 0u, UINT_MAX, true));
VERIFY 188 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (LEFT_SHIFT, UINT_MAX / 2 + 1, 1, 0u, UINT_MAX, true));
VERIFY 189 gnulib-tests/test-intprops.c VERIFY (CHECK_BINOP (LEFT_SHIFT, UINT_MAX / 2, 1, 0u, UINT_MAX, false));
VERIFY 193 gnulib-tests/test-intprops.c VERIFY (INT_ADD_OVERFLOW (a, b) == (overflow)); \
VERIFY 194 gnulib-tests/test-intprops.c VERIFY (INT_ADD_OVERFLOW (b, a) == (overflow))
VERIFY 207 gnulib-tests/test-intprops.c VERIFY (! INT_SUBTRACT_OVERFLOW (INT_MAX, 1u));
VERIFY 208 gnulib-tests/test-intprops.c VERIFY (! INT_SUBTRACT_OVERFLOW (UINT_MAX, 1));
VERIFY 209 gnulib-tests/test-intprops.c VERIFY (! INT_SUBTRACT_OVERFLOW (0u, -1));
VERIFY 210 gnulib-tests/test-intprops.c VERIFY (INT_SUBTRACT_OVERFLOW (UINT_MAX, -1));
VERIFY 211 gnulib-tests/test-intprops.c VERIFY (INT_SUBTRACT_OVERFLOW (INT_MIN, 1u));
VERIFY 212 gnulib-tests/test-intprops.c VERIFY (INT_SUBTRACT_OVERFLOW (-1, 0u));
VERIFY 215 gnulib-tests/test-intprops.c VERIFY (INT_MULTIPLY_OVERFLOW (a, b) == (overflow)); \
VERIFY 216 gnulib-tests/test-intprops.c VERIFY (INT_MULTIPLY_OVERFLOW (b, a) == (overflow))
VERIFY 249 gnulib-tests/test-intprops.c VERIFY (INT_DIVIDE_OVERFLOW (INT_MIN, -1L)
VERIFY 251 gnulib-tests/test-intprops.c VERIFY (! INT_DIVIDE_OVERFLOW (INT_MIN, UINT_MAX));
VERIFY 252 gnulib-tests/test-intprops.c VERIFY (! INT_DIVIDE_OVERFLOW (INTMAX_MIN, UINTMAX_MAX));
VERIFY 253 gnulib-tests/test-intprops.c VERIFY (! INT_DIVIDE_OVERFLOW (INTMAX_MIN, UINT_MAX));
VERIFY 254 gnulib-tests/test-intprops.c VERIFY (INT_DIVIDE_OVERFLOW (-11, 10u));
VERIFY 255 gnulib-tests/test-intprops.c VERIFY (INT_DIVIDE_OVERFLOW (-10, 10u));
VERIFY 256 gnulib-tests/test-intprops.c VERIFY (! INT_DIVIDE_OVERFLOW (-9, 10u));
VERIFY 257 gnulib-tests/test-intprops.c VERIFY (INT_DIVIDE_OVERFLOW (11u, -10));
VERIFY 258 gnulib-tests/test-intprops.c VERIFY (INT_DIVIDE_OVERFLOW (10u, -10));
VERIFY 259 gnulib-tests/test-intprops.c VERIFY (! INT_DIVIDE_OVERFLOW (9u, -10));
VERIFY 261 gnulib-tests/test-intprops.c VERIFY (INT_REMAINDER_OVERFLOW (INT_MIN, -1L)
VERIFY 263 gnulib-tests/test-intprops.c VERIFY (INT_REMAINDER_OVERFLOW (-1, UINT_MAX));
VERIFY 264 gnulib-tests/test-intprops.c VERIFY (INT_REMAINDER_OVERFLOW ((intmax_t) -1, UINTMAX_MAX));
VERIFY 265 gnulib-tests/test-intprops.c VERIFY (INT_REMAINDER_OVERFLOW (INTMAX_MIN, UINT_MAX)
VERIFY 268 gnulib-tests/test-intprops.c VERIFY (INT_REMAINDER_OVERFLOW (INT_MIN, ULONG_MAX)
VERIFY 270 gnulib-tests/test-intprops.c VERIFY (! INT_REMAINDER_OVERFLOW (1u, -1));
VERIFY 271 gnulib-tests/test-intprops.c VERIFY (! INT_REMAINDER_OVERFLOW (37*39u, -39));
VERIFY 272 gnulib-tests/test-intprops.c VERIFY (INT_REMAINDER_OVERFLOW (37*39u + 1, -39));
VERIFY 273 gnulib-tests/test-intprops.c VERIFY (INT_REMAINDER_OVERFLOW (37*39u - 1, -39));
VERIFY 274 gnulib-tests/test-intprops.c VERIFY (! INT_REMAINDER_OVERFLOW (LONG_MAX, -INT_MAX));