verify_expr        44 maint/gnulib/tests/test-verify.c   item = verify_expr (1 == 1, 10 * 0 + 17) /* should be ok */
verify_expr        60 maint/gnulib/tests/test-verify.c     return ((void) verify_expr (1 == 1, 1), verify_expr (1 == 1, 8)); /* should be ok */
verify_expr        62 maint/gnulib/tests/test-verify.c   return verify_expr (1 == 2, 5); /* should give ERROR */