1 files changed, 11 insertions, 0 deletions
diff --git a/test/builtin-va-copy+x86_64-sysv.c b/test/builtin-va-copy+x86_64-sysv.c
new file mode 100644
index 0000000..48577ed
--- /dev/null
+++ b/test/builtin-va-copy+x86_64-sysv.c
@@ -0,0 +1,11 @@
+void f1(void) {
+	static __builtin_va_list a, b;
+	__builtin_va_copy(a, b);
+}
+void f2(__builtin_va_list b) {
+	static __builtin_va_list a;
+	__builtin_va_copy(a, b);
+}
+void f3(__builtin_va_list a, __builtin_va_list b) {
+	__builtin_va_copy(a, b);
+}