From 4e9565b4e63f741158878ff7297f1fe4619f9d6a Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Thu, 2 Jun 2022 23:39:04 +0200
Subject: [PATCH] Fixed FP invalidFunctionArgStr, found a daca@home:
 ftp://ftp.de.debian.org/debian/pool/main/h/haskell-hs-bibutils/haskell-hs-bibutils_6.10.0.0.orig.tar.gz

---
 cfg/std.cfg    | 28 +++-------------------------
 test/cfg/std.c |  6 ++++++
 2 files changed, 9 insertions(+), 25 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 0aa0da5b4..c77a01700 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -5119,32 +5119,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     </arg>
   </function>
   <!-- int strncmp(const char *s1, const char *s2, size_t n); -->
-  <function name="strncmp,std::strncmp">
-    <use-retval/>
-    <pure/>
-    <returnValue type="int"/>
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <arg nr="1" direction="in">
-      <not-null/>
-      <not-uninit/>
-      <strz/>
-      <minsize type="argvalue" arg="3"/>
-    </arg>
-    <arg nr="2" direction="in">
-      <not-null/>
-      <not-uninit/>
-      <strz/>
-      <minsize type="argvalue" arg="3"/>
-    </arg>
-    <arg nr="3" direction="in">
-      <not-uninit/>
-      <not-bool/>
-      <valid>0:</valid>
-    </arg>
-  </function>
   <!-- int wcsncmp(const wchar_t* wcs1, const wchar_t* wcs2, size_t num); -->
-  <function name="wcsncmp,std::wcsncmp">
+  <function name="strncmp,std::strncmp,wcsncmp,std::wcsncmp">
     <use-retval/>
     <pure/>
     <returnValue type="int"/>
@@ -5153,10 +5129,12 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <arg nr="1" direction="in">
       <not-null/>
       <not-uninit/>
+      <minsize type="argvalue" arg="3"/>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
       <not-uninit/>
+      <minsize type="argvalue" arg="3"/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
diff --git a/test/cfg/std.c b/test/cfg/std.c
index 5efd9a59f..646fdf255 100644
--- a/test/cfg/std.c
+++ b/test/cfg/std.c
@@ -29,6 +29,12 @@
 #include <inttypes.h>
 #include <float.h>
 
+int invalidFunctionArgStr_strncmp( const char *p )
+{
+    // No warning is expected for:
+    const char emdash[3] = { -42, -43, -44 };
+    return strncmp( p, emdash, 3 );
+}
 
 float invalidFunctionArg_float_remquo (float x, float y, int* quo )
 {