projects
/
gnulib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
* lib/getaddrinfo.h: Reindent and repaginate.
[gnulib.git]
/
tests
/
test-verify.c
diff --git
a/tests/test-verify.c
b/tests/test-verify.c
index
5770941
..
2d3634c
100644
(file)
--- 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 */
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 */
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)
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
else
- return (verify_
expr
(1 == 2), 5); /* should give ERROR */
+ return (verify_
true
(1 == 2), 5); /* should give ERROR */
}
}