From f89c60603185de1960a86f432a65aa8f680c0630 Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Tue, 13 Dec 2016 11:39:10 +0100
Subject: [PATCH] std.cfg: Added missing argument numbers to va_arg, va_copy,
 va_end and va_start.

---
 cfg/std.cfg | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 8cf516d63..12bf9e164 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -3593,21 +3593,25 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="va_arg">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <arg nr="2"/>
   </function>
   <!-- void va_copy(va_list dest, va_list src); -->
   <function name="va_copy">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <arg nr="2"/>
   </function>
   <!-- void va_end(va_list ap); -->
   <function name="va_end">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <arg nr="1"/>
   </function>
   <!-- void va_start(va_list ap, paramN); -->
   <function name="va_start">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <arg nr="2"/>
   </function>
   <!-- float wcstof(const wchar_t *s, wchar ** endp); -->
   <!-- double wcstod(const wchar_t *s, wchar ** endp); -->