Merge branch 'lukeshu/check-build'

4 files changed, 71 insertions, 40 deletions

diff --git a/libmisc/tests/test_assert.c b/libmisc/tests/test_assert.c
index 189f6de..3c2d6b6 100644
--- a/libmisc/tests/test_assert.c
+++ b/libmisc/tests/test_assert.c
@@ -5,12 +5,14 @@
  */
 
 #include <setjmp.h>
+#include <stdarg.h> /* for va_list, va_start(), va_end() */
 #include <stdbool.h>
-#include <string.h>
 #include <stdlib.h>
+#include <string.h>
 
 #include <libmisc/macro.h>
 #include <libmisc/assert.h>
+#include <libmisc/_intercept.h>
 
 #include "test.h"
 
@@ -28,17 +30,21 @@ jmp_buf global_env;
 			setjmp(global_env) == 0;    \
 		})
 
-[[noreturn]] void abort(void) {
+void __lm_abort(void) {
 	global_failed = true;
 	longjmp(global_env, 1);
 }
 
-#define __builtin_unreachable() test_assert(0)
-
-int vprintf(const char *format, va_list ap) {
-	return vasprintf(&global_log, format, ap);
+int __lm_printf(const char *format, ...) {
+	va_list va;
+	va_start(va, format);
+	int ret = vasprintf(&global_log, format, va);
+	va_end(va);
+	return ret;
 }
 
+#define __builtin_unreachable() test_assert(0)
+
 /* Utilities ******************************************************************/
 
 #define test_should_succeed(test) do {                    \
@@ -68,6 +74,7 @@ int vprintf(const char *format, va_list ap) {
 static_assert(sizeof(char) == 1);
 
 int main() {
+#ifndef NDEBUG
 	test_should_succeed(assert(true));
 	test_should_fail(assert(false), "error: ASSERT: "__FILE__":"LM_STR_(__LINE__)":main(): assertion \"false\" failed\n");
 
@@ -82,5 +89,6 @@ int main() {
 		free(global_log);
 		global_log = NULL;
 	}
+#endif
 	return 0;
 }
diff --git a/libmisc/tests/test_assert_min.c b/libmisc/tests/test_assert_min.c
new file mode 100644
index 0000000..9c0394b
--- /dev/null
+++ b/libmisc/tests/test_assert_min.c
@@ -0,0 +1,17 @@
+/* libmisc/tests/test_assert_min.c - Tests for minimal <libmisc/assert.h>
+ *
+ * Copyright (C) 2024  Luke T. Shumaker <lukeshu@lukeshu.com>
+ * SPDX-License-Identifier: AGPL-3.0-or-later
+ */
+
+/* Don't include *anything* else.  */
+#include <libmisc/assert.h>
+
+static_assert(1 == 1);
+
+int main() {
+	assert_msg(1, "foo");
+	assert(1);
+	return 0;
+	assert_notreached("ret");
+}
diff --git a/libmisc/tests/test_log.c b/libmisc/tests/test_log.c
index 286738d..49a76ca 100644
--- a/libmisc/tests/test_log.c
+++ b/libmisc/tests/test_log.c
@@ -13,36 +13,43 @@
 #define LOG_NAME FROBNICATE
 #include <libmisc/log.h>
 
+#include <libmisc/_intercept.h>
+
 #include "test.h"
 
 /* Intercept output ***********************************************************/
 
 static char *log_output = NULL;
 
-int vprintf(const char *format, va_list ap) {
-	return vasprintf(&log_output, format, ap);
+int __lm_printf(const char *format, ...) {
+	va_list va;
+	va_start(va, format);
+	int ret = vasprintf(&log_output, format, va);
+	va_end(va);
+	return ret;
 }
 
 /* Actual tests ***************************************************************/
 
-#define should_print(_exp, cmd) do {                           \
-		char *exp = _exp;                              \
-		test_assert(!log_output);                      \
-		cmd;                                           \
-		if (!exp)                                      \
-			test_assert(!log_output);              \
-		else                                           \
-			if (!(log_output != NULL &&            \
-			      strcmp(log_output, exp) == 0)) { \
-				printf("exp = \"%s\"\n"        \
-				       "act = \"%s\"\n",       \
-				       exp, log_output);       \
-				test_assert(0);                \
-			}                                      \
-		if (log_output) {                              \
-			free(log_output);                      \
-			log_output = NULL;                     \
-		}                                              \
+#define should_print(_exp, cmd) do {                     \
+		char *exp = _exp;                        \
+		test_assert(!log_output);                \
+		cmd;                                     \
+		if (!exp)                                \
+			test_assert(!log_output);        \
+		else {                                   \
+			test_assert(log_output);         \
+			if (strcmp(log_output, exp)) {   \
+				printf("exp = \"%s\"\n"  \
+				       "act = \"%s\"\n", \
+				       exp, log_output); \
+				test_assert(0);          \
+			}                                \
+		}                                        \
+		if (log_output) {                        \
+			free(log_output);                \
+			log_output = NULL;               \
+		}                                        \
 	} while (0)
 
 int main() {
@@ -50,6 +57,7 @@ int main() {
 	             errorf("val=%d", 42));
 	should_print("info : FROBNICATE: val=0\n",
 	             infof("val=%d", 0));
+#ifndef NDEBUG
 #define CONFIG_FROBNICATE_DEBUG 1
 	should_print("debug: FROBNICATE: val=-2\n",
 	             debugf("val=%d", -2));
@@ -57,5 +65,6 @@ int main() {
 #define CONFIG_FROBNICATE_DEBUG 0
 	should_print(NULL,
 	             debugf("val=%d", -2));
+#endif
 	return 0;
 }
diff --git a/libmisc/tests/test_rand.c b/libmisc/tests/test_rand.c
index fff1b27..8076155 100644
--- a/libmisc/tests/test_rand.c
+++ b/libmisc/tests/test_rand.c
@@ -8,26 +8,18 @@
 #include <setjmp.h>
 
 #include <libmisc/rand.h>
+#include <libmisc/_intercept.h>
 
 #include "test.h"
 
 /* Intercept failures *********************************************************/
 
+#ifndef NDEBUG
 jmp_buf *__catch;
 
-void __assert_msg_fail(const char *expr,
-                  const char *file, unsigned int line, const char *func,
-                  const char *msg) {
-	static bool in_fail = false;
+void __lm_abort(void) {
 	if (__catch)
 		longjmp(*__catch, 1);
-	if (!in_fail) {
-		in_fail = true;
-		printf("error: %s:%u:%s(): assertion \"%s\" failed%s%s\n",
-		       file, line, func,
-		       expr,
-		       msg ? ": " : "", msg);
-	}
 	abort();
 }
 
@@ -43,6 +35,7 @@ void __assert_msg_fail(const char *expr,
 			__catch = old_catch;  \
 		}                             \
 	} while (0);
+#endif
 
 /* Actual tests ***************************************************************/
 
@@ -51,20 +44,24 @@ void __assert_msg_fail(const char *expr,
 
 static void test_n(uint64_t cnt) {
 	if (cnt == 0 || cnt > UINT64_C(1)<<63) {
+#ifndef NDEBUG
 		should_abort(rand_uint63n(cnt));
+#else
+		return;
+#endif
 	} else {
 		double sum = 0;
 		bool seen[MAX_SEE_ALL] = {0};
 		for (int i = 0; i < ROUNDS; i++) {
 			uint64_t val = rand_uint63n(cnt);
-			sum += ((double)val)/(cnt-1);
+			sum += val;
 			test_assert(val < cnt);
 			if (cnt < MAX_SEE_ALL)
 				seen[val] = true;
 		}
 		if (cnt > 1) {
-			test_assert(sum/ROUNDS > 0.45);
-			test_assert(sum/ROUNDS < 0.55);
+			test_assert(sum/ROUNDS > 0.45*(cnt-1));
+			test_assert(sum/ROUNDS < 0.55*(cnt-1));
 		}
 		if (cnt < MAX_SEE_ALL) {
 			for (uint64_t i = 0; i < cnt; i++)