10 verify (x >= 0); /* should give ERROR: non-constant expression */
11 verify (c == 2); /* should be ok */
12 verify (1 + 1 == 3); /* should give ERROR */
13 verify (1 == 1); verify (1 == 1); /* should be ok */
17 verify (n >= 0); /* should give ERROR: non-constant expression */
18 verify (c == 2); /* should be ok */
19 verify (1 + 1 == 3); /* should give ERROR */
20 verify (1 == 1); verify (1 == 1); /* should be ok */
23 return (verify_expr (1 == 1), verify_expr (1 == 1), 7); /* should be ok */
25 return (verify_expr (1 == 2), 5); /* should give ERROR */