- return (verify_true (1 == 1), verify_true (1 == 1), 7); /* should be ok */
- else
- return (verify_true (1 == 2), 5); /* should give ERROR */
+ return ((void) verify_expr (1 == 1, 1), verify_expr (1 == 1, 8)); /* should be ok */
+#if EXP_FAIL == 5
+ return verify_expr (1 == 2, 5); /* should give ERROR */
+#endif
+ return 0;
+}
+
+int
+main (void)
+{
+ return !(function (0) == 0 && function (1) == 8);