From a73164a78c3144cc983dd332705df1a906911017 Mon Sep 17 00:00:00 2001
From: Jakob Kaivo <jkk@ung.org>
Date: Thu, 1 Feb 2024 16:58:33 -0500
Subject: add symbols for va_* to trigger UB if dlsym()ed

---
 src/stdarg/va_arg.c   | 11 +++++++++++
 src/stdarg/va_copy.c  | 11 +++++++++++
 src/stdarg/va_end.c   | 11 +++++++++++
 src/stdarg/va_start.c | 11 +++++++++++
 4 files changed, 44 insertions(+)
 create mode 100644 src/stdarg/va_arg.c
 create mode 100644 src/stdarg/va_copy.c
 create mode 100644 src/stdarg/va_end.c
 create mode 100644 src/stdarg/va_start.c

diff --git a/src/stdarg/va_arg.c b/src/stdarg/va_arg.c
new file mode 100644
index 00000000..fd354ee8
--- /dev/null
+++ b/src/stdarg/va_arg.c
@@ -0,0 +1,11 @@
+#include "_safety.h"
+
+void va_arg()
+{
+	__undefined("The va_arg() macro has been suppressed to access an actual function");
+}
+
+/*
+SIGNAL_SAFE(0)
+STDC(0)
+*/
diff --git a/src/stdarg/va_copy.c b/src/stdarg/va_copy.c
new file mode 100644
index 00000000..a2de7c7d
--- /dev/null
+++ b/src/stdarg/va_copy.c
@@ -0,0 +1,11 @@
+#include "_safety.h"
+
+void va_copy()
+{
+	__undefined("The va_copy() macro has been suppressed to access an actual function");
+}
+
+/*
+SIGNAL_SAFE(0)
+STDC(0)
+*/
diff --git a/src/stdarg/va_end.c b/src/stdarg/va_end.c
new file mode 100644
index 00000000..850c858b
--- /dev/null
+++ b/src/stdarg/va_end.c
@@ -0,0 +1,11 @@
+#include "_safety.h"
+
+void va_end()
+{
+	__undefined("The va_end() macro has been suppressed to access an actual function");
+}
+
+/*
+SIGNAL_SAFE(0)
+STDC(0)
+*/
diff --git a/src/stdarg/va_start.c b/src/stdarg/va_start.c
new file mode 100644
index 00000000..94a5fdb5
--- /dev/null
+++ b/src/stdarg/va_start.c
@@ -0,0 +1,11 @@
+#include "_safety.h"
+
+void va_start()
+{
+	__undefined("The va_start() macro has been suppressed to access an actual function");
+}
+
+/*
+SIGNAL_SAFE(0)
+STDC(0)
+*/
-- 
cgit v1.2.1