CHECK_BINOP       144 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (ADD, INT_MAX, 1, INT_MIN, INT_MAX, true));
CHECK_BINOP       145 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (ADD, INT_MAX, -1, INT_MIN, INT_MAX, false));
CHECK_BINOP       146 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (ADD, INT_MIN, 1, INT_MIN, INT_MAX, false));
CHECK_BINOP       147 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (ADD, INT_MIN, -1, INT_MIN, INT_MAX, true));
CHECK_BINOP       148 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (ADD, UINT_MAX, 1u, 0u, UINT_MAX, true));
CHECK_BINOP       149 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (ADD, 0u, 1u, 0u, UINT_MAX, false));
CHECK_BINOP       151 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (SUBTRACT, INT_MAX, 1, INT_MIN, INT_MAX, false));
CHECK_BINOP       152 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (SUBTRACT, INT_MAX, -1, INT_MIN, INT_MAX, true));
CHECK_BINOP       153 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (SUBTRACT, INT_MIN, 1, INT_MIN, INT_MAX, true));
CHECK_BINOP       154 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (SUBTRACT, INT_MIN, -1, INT_MIN, INT_MAX, false));
CHECK_BINOP       155 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (SUBTRACT, UINT_MAX, 1u, 0u, UINT_MAX, false));
CHECK_BINOP       156 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (SUBTRACT, 0u, 1u, 0u, UINT_MAX, true));
CHECK_BINOP       166 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (MULTIPLY, INT_MAX, INT_MAX, INT_MIN, INT_MAX, true));
CHECK_BINOP       167 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (MULTIPLY, INT_MAX, INT_MIN, INT_MIN, INT_MAX, true));
CHECK_BINOP       168 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (MULTIPLY, INT_MIN, INT_MAX, INT_MIN, INT_MAX, true));
CHECK_BINOP       169 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (MULTIPLY, INT_MIN, INT_MIN, INT_MIN, INT_MAX, true));
CHECK_BINOP       170 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (MULTIPLY, -1, INT_MIN, INT_MIN, INT_MAX,
CHECK_BINOP       172 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (MULTIPLY, LONG_MIN / INT_MAX, (long int) INT_MAX,
CHECK_BINOP       175 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (DIVIDE, INT_MIN, -1, INT_MIN, INT_MAX,
CHECK_BINOP       177 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (DIVIDE, INT_MAX, 1, INT_MIN, INT_MAX, false));
CHECK_BINOP       178 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (DIVIDE, (unsigned int) INT_MIN,
CHECK_BINOP       181 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (REMAINDER, INT_MIN, -1, INT_MIN, INT_MAX,
CHECK_BINOP       183 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (REMAINDER, INT_MAX, 1, INT_MIN, INT_MAX, false));
CHECK_BINOP       184 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (REMAINDER, (unsigned int) INT_MIN,
CHECK_BINOP       187 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (LEFT_SHIFT, UINT_MAX, 1, 0u, UINT_MAX, true));
CHECK_BINOP       188 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (LEFT_SHIFT, UINT_MAX / 2 + 1, 1, 0u, UINT_MAX, true));
CHECK_BINOP       189 gnulib-tests/test-intprops.c   VERIFY (CHECK_BINOP (LEFT_SHIFT, UINT_MAX / 2, 1, 0u, UINT_MAX, false));