From c19ba02afc8bef5003e84e918f0c59152e15d23e Mon Sep 17 00:00:00 2001
From: Tobias <git@tobis-page.de>
Date: Tue, 7 Feb 2023 14:58:44 +0100
Subject: [PATCH] gnu.cfg: strcasestr wrong return type

---
 cfg/gnu.cfg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 565bc35cad5..23aaf657071 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -980,10 +980,10 @@
     <warn severity="style" reason="Obsolescent" alternatives="sprintf"/>
   </function>
   <!-- https://www.gnu.org/software/gnulib/manual/html_node/c_002dstrcasestr.html -->
-  <!-- size_t strcasestr(const char *s1, const char *s2); -->
+  <!-- char* strcasestr(const char *s1, const char *s2); -->
   <function name="strcasestr">
     <use-retval/>
-    <returnValue type="size_t"/>
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <pure/>