From b8478829944ebd3d4c8baaf6ec7b341d49db2505 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sun, 8 May 2022 18:15:22 +0200
Subject: [PATCH] std.cfg: Improved configuration of vfwprintf().

---
 cfg/std.cfg      | 6 ++++--
 test/cfg/std.c   | 7 +++++++
 test/cfg/std.cpp | 9 ++++++++-
 3 files changed, 19 insertions(+), 3 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 4f88ee728..78ff19f63 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -1921,7 +1921,7 @@
       <not-uninit/>
       <formatstr/>
     </arg>
-    <arg nr="3"/>
+    <arg nr="3" direction="in"/>
   </function>
   <!-- int vfwprintf(FILE *stream, const wchar_t *format, va_list arg); -->
   <function name="vfwprintf,std::vfwprintf">
@@ -1933,9 +1933,11 @@
       <not-uninit/>
     </arg>
     <arg nr="2" direction="in">
+      <not-null/>
       <not-uninit/>
+      <formatstr/>
     </arg>
-    <arg nr="3"/>
+    <arg nr="3" direction="in"/>
   </function>
   <!-- int fputc(int c, FILE *stream); -->
   <function name="fputc,std::fputc">
diff --git a/test/cfg/std.c b/test/cfg/std.c
index 16c7a45d1..04cc54edb 100644
--- a/test/cfg/std.c
+++ b/test/cfg/std.c
@@ -1639,6 +1639,13 @@ void uninitvar_vfprintf(FILE *Stream, const char *Format, va_list Arg)
     (void)vfprintf(Stream, Format, arg);
 }
 
+void nullPointer_vfwprintf(FILE *Stream, wchar_t *Format, va_list Arg)
+{
+    // cppcheck-suppress nullPointer
+    (void)vfwprintf(Stream, NULL, Arg);
+    (void)vfwprintf(Stream, Format, Arg);
+}
+
 void uninitvar_vfwprintf(FILE *Stream, wchar_t *Format, va_list Arg)
 {
     FILE *stream1, *stream2;
diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index 327d9a58b..57a3fc15c 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -95,10 +95,17 @@ void nullPointer_qsort(void *base, std::size_t n, std::size_t size, int (*cmp)(c
 void nullPointer_vfprintf(FILE *Stream, const char *Format, va_list Arg)
 {
     // cppcheck-suppress nullPointer
-    (void)std::vfprintf(Stream, NULL, Arg);
+    (void)std::vfprintf(Stream, nullptr, Arg);
     (void)std::vfprintf(Stream, Format, Arg);
 }
 
+void nullPointer_vfwprintf(FILE *Stream, wchar_t *Format, va_list Arg)
+{
+    // cppcheck-suppress nullPointer
+    (void)std::vfwprintf(Stream, nullptr, Arg);
+    (void)std::vfwprintf(Stream, Format, Arg);
+}
+
 void *bufferAccessOutOfBounds_memchr(void *s, int c, size_t n)
 {
     char buf[42]={0};