INT_SUBTRACT_OVERFLOW  207 gnulib-tests/test-intprops.c   VERIFY (! INT_SUBTRACT_OVERFLOW (INT_MAX, 1u));
INT_SUBTRACT_OVERFLOW  208 gnulib-tests/test-intprops.c   VERIFY (! INT_SUBTRACT_OVERFLOW (UINT_MAX, 1));
INT_SUBTRACT_OVERFLOW  209 gnulib-tests/test-intprops.c   VERIFY (! INT_SUBTRACT_OVERFLOW (0u, -1));
INT_SUBTRACT_OVERFLOW  210 gnulib-tests/test-intprops.c   VERIFY (INT_SUBTRACT_OVERFLOW (UINT_MAX, -1));
INT_SUBTRACT_OVERFLOW  211 gnulib-tests/test-intprops.c   VERIFY (INT_SUBTRACT_OVERFLOW (INT_MIN, 1u));
INT_SUBTRACT_OVERFLOW  212 gnulib-tests/test-intprops.c   VERIFY (INT_SUBTRACT_OVERFLOW (-1, 0u));