From dee579126faa0f688b4fd608b4d8cf8124bf8025 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Wed, 28 Sep 2005 12:00:59 +0000 Subject: [PATCH] Test verify_true instead of verify_expr. --- tests/test-verify.c | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/tests/test-verify.c b/tests/test-verify.c index 5770941978..2d3634c80f 100644 --- a/tests/test-verify.c +++ b/tests/test-verify.c @@ -12,6 +12,11 @@ verify (c == 2); /* should be ok */ verify (1 + 1 == 3); /* should give ERROR */ verify (1 == 1); verify (1 == 1); /* should be ok */ +enum +{ + item = verify_true (1 == 1) * 0 + 17 /* should be ok */ +}; + int function (int n) { verify (n >= 0); /* should give ERROR: non-constant expression */ @@ -20,7 +25,7 @@ int function (int n) verify (1 == 1); verify (1 == 1); /* should be ok */ if (n) - return (verify_expr (1 == 1), verify_expr (1 == 1), 7); /* should be ok */ + return (verify_true (1 == 1), verify_true (1 == 1), 7); /* should be ok */ else - return (verify_expr (1 == 2), 5); /* should give ERROR */ + return (verify_true (1 == 2), 5); /* should give ERROR */ } -- 2.30.2