CHECK_SBINOP      194 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (+, ADD, INT_MAX, 1, int, true, INT_MIN);
CHECK_SBINOP      195 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (+, ADD, INT_MAX, -1, int, false, INT_MAX - 1);
CHECK_SBINOP      196 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (+, ADD, INT_MIN, 1, int, false, INT_MIN + 1);
CHECK_SBINOP      197 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (+, ADD, INT_MIN, -1, int, true, INT_MAX);
CHECK_SBINOP      201 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (-, SUBTRACT, INT_MAX, 1, int, false, INT_MAX - 1);
CHECK_SBINOP      202 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (-, SUBTRACT, INT_MAX, -1, int, true, INT_MIN);
CHECK_SBINOP      203 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (-, SUBTRACT, INT_MIN, 1, int, true, INT_MAX);
CHECK_SBINOP      204 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (-, SUBTRACT, INT_MIN, -1, int, false, INT_MIN - -1);
CHECK_SBINOP      215 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (*, MULTIPLY, INT_MAX, INT_MAX, int, true, 1);
CHECK_SBINOP      216 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (*, MULTIPLY, INT_MAX, INT_MIN, int, true, INT_MIN);
CHECK_SBINOP      217 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (*, MULTIPLY, INT_MIN, INT_MAX, int, true, INT_MIN);
CHECK_SBINOP      218 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (*, MULTIPLY, INT_MIN, INT_MIN, int, true, 0);
CHECK_SBINOP      219 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (*, MULTIPLY, -1, INT_MIN, int,
CHECK_SBINOP      222 maint/gnulib/tests/test-intprops.c   CHECK_SBINOP (*, MULTIPLY, LONG_MIN / INT_MAX, (long int) INT_MAX,