From 2420c8fc00dff48099e3e89da40427cc5ebfd7af Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sat, 3 Oct 2015 18:54:57 +0200
Subject: [PATCH] std.cfg: removed arg nr=any for formatstr functions. See
 #7012.

---
 cfg/std.cfg | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 856c70789..b72592f23 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -955,9 +955,6 @@
       <formatstr/>
       <not-uninit/>
     </arg>
-    <arg nr="any">
-      <not-uninit/>
-    </arg>
   </function>
   <!-- int vfprintf(FILE *stream, const char *format, va_list arg); -->
   <function name="vfprintf,std::vfprintf">
@@ -2550,9 +2547,6 @@
       <formatstr/>
       <not-uninit/>
     </arg>
-    <arg nr="any">
-      <not-uninit/>
-    </arg>
   </function>
   <!-- int vprintf(const char *format, va_list arg); -->
   <function name="vprintf,std::vprintf">
@@ -3662,9 +3656,6 @@
       <formatstr/>
       <not-null/>
     </arg>
-    <arg nr="any">
-      <not-uninit/>
-    </arg>
   </function>
   <!-- int sprintf(char *s, const char *format, ...); -->
   <function name="sprintf,std::sprintf">
@@ -3680,9 +3671,6 @@
       <not-null/>
       <not-uninit/>
     </arg>
-    <arg nr="any">
-      <not-uninit/>
-    </arg>
   </function>
   <!-- int swprintf(wchar_t *s, size_t n, const wchar_t *format, ...); -->
   <function name="swprintf,std::swprintf">
@@ -3744,9 +3732,6 @@
       <not-null/>
       <not-uninit/>
     </arg>
-    <arg nr="any">
-      <not-uninit/>
-    </arg>
   </function>
   <!-- int snprintf(char *s, size_t n, const char *format, ...); -->
   <function name="snprintf,std::snprintf">