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 item = verify_true (1 == 1) * 0 + 17 /* should be ok */
22 verify (n >= 0); /* should give ERROR: non-constant expression */
23 verify (c == 2); /* should be ok */
24 verify (1 + 1 == 3); /* should give ERROR */
25 verify (1 == 1); verify (1 == 1); /* should be ok */
28 return (verify_true (1 == 1), verify_true (1 == 1), 7); /* should be ok */
30 return (verify_true (1 == 2), 5); /* should give ERROR */