From 95411414c41657c29ea781bab806e5fd0fdb2f70 Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Sun, 8 Mar 2015 14:04:09 +0100
Subject: [PATCH] #6569 Add strcasestr function to gnu.cfg

---
 cfg/gnu.cfg    | 15 +++++++++++++++
 test/cfg/gnu.c |  3 +++
 2 files changed, 18 insertions(+)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 9b62d06da..a1ce84951 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -185,4 +185,19 @@
     </arg>
     <arg nr="6"/>
   </function>
+  <!-- https://www.gnu.org/software/gnulib/manual/html_node/c_002dstrcasestr.html -->
+  <!-- size_t strcasestr(const char *s1, const char *s2); -->
+  <function name="strcasestr">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
 </def>
diff --git a/test/cfg/gnu.c b/test/cfg/gnu.c
index 883f4180a..86c61926e 100644
--- a/test/cfg/gnu.c
+++ b/test/cfg/gnu.c
@@ -18,4 +18,7 @@ void leakReturnValNotUsed() {
    char* ptr2 = (char*)strndupa("test", 1);
    // cppcheck-suppress ignoredReturnValue
    strndupa("test", 1);
+   // cppcheck-suppress ignoredReturnValue
+   // cppcheck-suppress nullPointer
+   strcasestr("test", NULL);
 }