INT_ADD_OVERFLOW  143 gnulib-tests/test-intprops.c   VERIFY (INT_ADD_OVERFLOW (INT_MAX, 1));
INT_ADD_OVERFLOW  193 gnulib-tests/test-intprops.c     VERIFY (INT_ADD_OVERFLOW (a, b) == (overflow));       \
INT_ADD_OVERFLOW  194 gnulib-tests/test-intprops.c     VERIFY (INT_ADD_OVERFLOW (b, a) == (overflow))