From d4503e442016e4fde5c917b4c833ee090452acfe Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Sun, 23 Jun 2019 21:38:06 +0000
Subject: [PATCH] CC: Add the __gnuc_va_list typedef to stdarg.h.
---
divine/cc/stdarg.h | 1 +
1 file changed, 1 insertion(+)
diff --git a/divine/cc/stdarg.h b/divine/cc/stdarg.h
index 8af858d17..d659bea2a 100644
--- a/divine/cc/stdarg.h
+++ b/divine/cc/stdarg.h
@@ -22,6 +22,7 @@ extern "C" {
#endif
typedef __builtin_va_list va_list;
+typedef __builtin_va_list __gnuc_va_list;
// this will be replaced by the va_arg instruction using LART
#ifdef __cplusplus
--
GitLab