summaryrefslogtreecommitdiff
path: root/tests/test-assert.c
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2022-10-24 22:26:08 +0200
committerJörg Frings-Fürst <debian@jff.email>2022-10-24 22:26:08 +0200
commite97e0882ffc87a91e7818137196f1b74134566df (patch)
tree285662381eaa0514f988142bff0c8a9685c84dc0 /tests/test-assert.c
parentcc0876a2fa9e703b1064992ab535f3eed57e9c71 (diff)
parentcb4186bef1b44691db4221406d001a8d40c65b4b (diff)
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'tests/test-assert.c')
-rw-r--r--tests/test-assert.c71
1 files changed, 71 insertions, 0 deletions
diff --git a/tests/test-assert.c b/tests/test-assert.c
new file mode 100644
index 0000000..45b0c0f
--- /dev/null
+++ b/tests/test-assert.c
@@ -0,0 +1,71 @@
+/* Test assert.h and static_assert.
+ Copyright 2022 Free Software Foundation, Inc.
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <https://www.gnu.org/licenses/>. */
+
+/* Written by Paul Eggert. */
+
+#include <config.h>
+
+#define STATIC_ASSERT_TESTS \
+ static_assert (2 + 2 == 4, "arithmetic does not work"); \
+ static_assert (2 + 2 == 4); \
+ static_assert (sizeof (char) == 1, "sizeof does not work"); \
+ static_assert (sizeof (char) == 1)
+
+STATIC_ASSERT_TESTS;
+
+static char const *
+assert (char const *p, int i)
+{
+ return p + i;
+}
+
+static char const *
+f (char const *p)
+{
+ return assert (p, 0);
+}
+
+#include <assert.h>
+
+STATIC_ASSERT_TESTS;
+
+static int
+g (void)
+{
+ assert (f ("this should work"));
+ return 0;
+}
+
+#define NDEBUG 1
+#include <assert.h>
+
+STATIC_ASSERT_TESTS;
+
+static int
+h (void)
+{
+ assert (f ("this should work"));
+ return 0;
+}
+
+int
+main (void)
+{
+ STATIC_ASSERT_TESTS;
+ g ();
+ h ();
+ return 0;
+}