From 772dd52b8fabf2055a2e2cdaa08c85b48afdfee1 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Fri, 23 Sep 2005 13:42:08 +0000 Subject: [PATCH] Test case for verify.h. --- ChangeLog | 4 ++++ tests/test-verify.c | 22 ++++++++++++++++++++++ 2 files changed, 26 insertions(+) create mode 100644 tests/test-verify.c diff --git a/ChangeLog b/ChangeLog index c7971b1725..148993ce18 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2005-09-23 Bruno Haible + + * tests/test-verify.c: New file. + 2005-09-22 Paul Eggert Sync from coreutils. diff --git a/tests/test-verify.c b/tests/test-verify.c new file mode 100644 index 0000000000..74bee4eb4c --- /dev/null +++ b/tests/test-verify.c @@ -0,0 +1,22 @@ +#include "verify.h" + +int x; +enum { a, b, c }; + +verify (x >= 0); /* should give ERROR: non-constant expression */ +verify (c == 2); /* should be ok */ +verify (1 + 1 == 3); /* should give ERROR */ +verify (1 == 1); verify (1 == 1); /* should be ok */ + +int function (int n) +{ + verify (n >= 0); /* should give ERROR: non-constant expression */ + verify (c == 2); /* should be ok */ + verify (1 + 1 == 3); /* should give ERROR */ + verify (1 == 1); verify (1 == 1); /* should be ok */ + + if (n) + return (verify_expr (1 == 1), verify_expr (1 == 1), 7); /* should be ok */ + else + return (verify_expr (1 == 2), 5); /* should give ERROR */ +} -- 2.30.2