VERIFY             87 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_SIGNED (signed char));
VERIFY             88 maint/gnulib/tests/test-intprops.c   VERIFY (! TYPE_SIGNED (unsigned char));
VERIFY             89 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_SIGNED (short int));
VERIFY             90 maint/gnulib/tests/test-intprops.c   VERIFY (! TYPE_SIGNED (unsigned short int));
VERIFY             91 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_SIGNED (int));
VERIFY             92 maint/gnulib/tests/test-intprops.c   VERIFY (! TYPE_SIGNED (unsigned int));
VERIFY             93 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_SIGNED (long int));
VERIFY             94 maint/gnulib/tests/test-intprops.c   VERIFY (! TYPE_SIGNED (unsigned long int));
VERIFY             95 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_SIGNED (intmax_t));
VERIFY             96 maint/gnulib/tests/test-intprops.c   VERIFY (! TYPE_SIGNED (uintmax_t));
VERIFY            102 maint/gnulib/tests/test-intprops.c   VERIFY (INT_MIN + INT_MAX < 0);
VERIFY            105 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (char) == CHAR_MIN);
VERIFY            106 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (char) == CHAR_MAX);
VERIFY            107 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (unsigned char) == 0);
VERIFY            108 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (unsigned char) == UCHAR_MAX);
VERIFY            109 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (signed char) == SCHAR_MIN);
VERIFY            110 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (signed char) == SCHAR_MAX);
VERIFY            111 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (short int) == SHRT_MIN);
VERIFY            112 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (short int) == SHRT_MAX);
VERIFY            113 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (unsigned short int) == 0);
VERIFY            114 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (unsigned short int) == USHRT_MAX);
VERIFY            115 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (int) == INT_MIN);
VERIFY            116 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (int) == INT_MAX);
VERIFY            117 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (unsigned int) == 0);
VERIFY            118 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (unsigned int) == UINT_MAX);
VERIFY            119 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (long int) == LONG_MIN);
VERIFY            120 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (long int) == LONG_MAX);
VERIFY            121 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (unsigned long int) == 0);
VERIFY            122 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (unsigned long int) == ULONG_MAX);
VERIFY            129 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (intmax_t) == INTMAX_MIN);
VERIFY            130 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (intmax_t) == INTMAX_MAX);
VERIFY            131 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MINIMUM (uintmax_t) == 0);
VERIFY            132 maint/gnulib/tests/test-intprops.c   VERIFY (TYPE_MAXIMUM (uintmax_t) == UINTMAX_MAX);
VERIFY            152 maint/gnulib/tests/test-intprops.c   VERIFY (INT_BITS_STRLEN_BOUND (1) == 1);
VERIFY            153 maint/gnulib/tests/test-intprops.c   VERIFY (INT_BITS_STRLEN_BOUND (2620) == 789);
VERIFY            157 maint/gnulib/tests/test-intprops.c   VERIFY (INT_STRLEN_BOUND (int32_t) == sizeof ("-2147483648") - 1);
VERIFY            158 maint/gnulib/tests/test-intprops.c   VERIFY (INT_BUFSIZE_BOUND (int32_t) == sizeof ("-2147483648"));
VERIFY            161 maint/gnulib/tests/test-intprops.c   VERIFY (INT_STRLEN_BOUND (int64_t) == sizeof ("-9223372036854775808") - 1);
VERIFY            162 maint/gnulib/tests/test-intprops.c   VERIFY (INT_BUFSIZE_BOUND (int64_t) == sizeof ("-9223372036854775808"));
VERIFY            173 maint/gnulib/tests/test-intprops.c     VERIFY (INT_##opname##_RANGE_OVERFLOW (a, b, TYPE_MINIMUM (t),        \
VERIFY            176 maint/gnulib/tests/test-intprops.c     VERIFY (INT_##opname##_OVERFLOW (a, b) == (v))
VERIFY            185 maint/gnulib/tests/test-intprops.c     VERIFY (INT_##opname##_RANGE_OVERFLOW (a, TYPE_MINIMUM (t),           \
VERIFY            188 maint/gnulib/tests/test-intprops.c     VERIFY (INT_##opname##_OVERFLOW (a) == (v))
VERIFY            191 maint/gnulib/tests/test-intprops.c   VERIFY (INT_ADD_RANGE_OVERFLOW (INT_MAX, 1, INT_MIN, INT_MAX));
VERIFY            192 maint/gnulib/tests/test-intprops.c   VERIFY (INT_ADD_OVERFLOW (INT_MAX, 1));
VERIFY            251 maint/gnulib/tests/test-intprops.c     VERIFY (INT_ADD_OVERFLOW (a, b) == (v));                              \
VERIFY            294 maint/gnulib/tests/test-intprops.c     VERIFY (INT_SUBTRACT_OVERFLOW (a, b) == (v))
VERIFY            336 maint/gnulib/tests/test-intprops.c     VERIFY (INT_MULTIPLY_OVERFLOW (a, b) == (v))
VERIFY            412 maint/gnulib/tests/test-intprops.c   #define CHECK_QUOTIENT(a, b, v) VERIFY (INT_DIVIDE_OVERFLOW (a, b) == (v))
VERIFY            425 maint/gnulib/tests/test-intprops.c   #define CHECK_REMAINDER(a, b, v) VERIFY (INT_REMAINDER_OVERFLOW (a, b) == (v))