From a7283ab143d4e95e8f5f22b58c61cb4e2f604749 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Fri, 23 Jul 2021 13:29:01 +0200
Subject: Merging upstream version 0.7.1 (Closes: #991419).

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 regressions/ck_pr/validate/ck_pr_inc_zero.c | 105 ++++++++++++++++++++++++++++
 1 file changed, 105 insertions(+)
 create mode 100644 regressions/ck_pr/validate/ck_pr_inc_zero.c

(limited to 'regressions/ck_pr/validate/ck_pr_inc_zero.c')

diff --git a/regressions/ck_pr/validate/ck_pr_inc_zero.c b/regressions/ck_pr/validate/ck_pr_inc_zero.c
new file mode 100644
index 0000000..e74ffba
--- /dev/null
+++ b/regressions/ck_pr/validate/ck_pr_inc_zero.c
@@ -0,0 +1,105 @@
+#include <inttypes.h>
+#include <stdbool.h>
+#include <stdlib.h>
+#include <stdio.h>
+
+#include <ck_pr.h>
+
+#define EXPECT(ACTUAL, IS_ZERO, TYPE, INITIAL) do {			\
+	TYPE expected = (TYPE)((TYPE)INITIAL + (TYPE)1);		\
+	if ((ACTUAL) != expected) {					\
+		printf("FAIL [ %" PRIx64" != %" PRIx64" ]\n",		\
+		       (uint64_t)(ACTUAL),				\
+		       (uint64_t)expected);				\
+		exit(EXIT_FAILURE);					\
+	}								\
+									\
+	if ((IS_ZERO) != ((ACTUAL) == 0)) {				\
+		printf("FAIL [ %s != %s ]\n",				\
+		       ((IS_ZERO) ? "true" : "false"),			\
+		       (((ACTUAL) == 0) ? "true" : "false"));		\
+		exit(EXIT_FAILURE);					\
+	}								\
+	} while (0)
+
+#define TEST_ZERO(TYPE, SUFFIX) do {				\
+		TYPE datum;					\
+		bool is_zero;					\
+								\
+		datum = 0;					\
+		ck_pr_inc_##SUFFIX##_zero(&datum, &is_zero);	\
+		EXPECT(datum, is_zero, TYPE, 0);		\
+								\
+		datum = (TYPE)-1;				\
+		ck_pr_inc_##SUFFIX##_zero(&datum, &is_zero);	\
+		EXPECT(datum, is_zero, TYPE, -1);		\
+								\
+		datum = (TYPE)1;				\
+		ck_pr_inc_##SUFFIX##_zero(&datum, &is_zero);	\
+		EXPECT(datum, is_zero, TYPE, 1);		\
+								\
+		datum = (TYPE)2;				\
+		ck_pr_inc_##SUFFIX##_zero(&datum, &is_zero);	\
+		EXPECT(datum, is_zero, TYPE, 2);		\
+	} while (0)
+
+#define TEST_IS_ZERO(TYPE, SUFFIX) do {				 \
+		TYPE datum;					 \
+		bool is_zero;					 \
+								 \
+		datum = 0;					 \
+		is_zero = ck_pr_inc_##SUFFIX##_is_zero(&datum);	 \
+		EXPECT(datum, is_zero, TYPE, 0);		 \
+								 \
+		datum = (TYPE)-1;				 \
+		is_zero = ck_pr_inc_##SUFFIX##_is_zero(&datum);	 \
+		EXPECT(datum, is_zero, TYPE, -1);		 \
+								 \
+		datum = (TYPE)1;				 \
+		is_zero = ck_pr_inc_##SUFFIX##_is_zero(&datum);	 \
+		EXPECT(datum, is_zero, TYPE, 1);		 \
+								 \
+		datum = (TYPE)2;				 \
+		is_zero = ck_pr_inc_##SUFFIX##_is_zero(&datum);	 \
+		EXPECT(datum, is_zero, TYPE, 2);		 \
+	} while (0)
+
+#define TEST(TYPE, SUFFIX) do {			\
+	TEST_ZERO(TYPE, SUFFIX);		\
+	TEST_IS_ZERO(TYPE, SUFFIX);		\
+} while (0)
+
+int
+main(void)
+{
+
+#ifdef CK_F_PR_INC_64_ZERO
+	TEST(uint64_t, 64);
+#endif
+
+#ifdef CK_F_PR_INC_32_ZERO
+	TEST(uint32_t, 32);
+#endif
+
+#ifdef CK_F_PR_INC_16_ZERO
+	TEST(uint16_t, 16);
+#endif
+
+#ifdef CK_F_PR_INC_8_ZERO
+	TEST(uint8_t, 8);
+#endif
+
+#ifdef CK_F_PR_INC_UINT_ZERO
+	TEST(unsigned int, uint);
+#endif
+
+#ifdef CK_F_PR_INC_INT_ZERO
+	TEST(int, int);
+#endif
+
+#ifdef CK_F_PR_INC_CHAR_ZERO
+	TEST(char, char);
+#endif
+
+	return (0);
+}
-- 
cgit v1.2.3