1 files changed, 19 insertions, 0 deletions
diff --git a/src/stdarg/va_end.c b/src/stdarg/va_end.c
new file mode 100644
index 00000000..00588526
--- /dev/null
+++ b/src/stdarg/va_end.c
@@ -0,0 +1,19 @@
+#include <stdarg.h>
+#define va_end(ap)                                          __builtin_va_end(ap)
+
+/** end processing unnamed arguments **/
+
+/***
+stops processing unnamed arguments that were
+previously begun with a call to FUNCTION(va_start) so that the enclosing function
+may return normally.
+***/
+
+/*
+PROTOTYPE(void va_end(va_list ap);)
+UNDEFINED(ARGUMENT(ap) was not initialized by FUNCTION(va_start))
+UNDEFINED(THIS() is not called in the same function as FUNCTION(va_start))
+*/
+/*
+STDC(1)
+*/