From fa1182c0f13614ac5bd919c0eca99d50a0c87dd1 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Wed, 27 Apr 2022 10:22:38 +0200
Subject: [PATCH] bsd.cfg: Added support for setbuffer() and setlinebuf().

---
 cfg/bsd.cfg    | 30 ++++++++++++++++++++++++++++++
 test/cfg/bsd.c | 15 +++++++++++++++
 2 files changed, 45 insertions(+)

diff --git a/cfg/bsd.cfg b/cfg/bsd.cfg
index 074b79754..751bb03c0 100644
--- a/cfg/bsd.cfg
+++ b/cfg/bsd.cfg
@@ -218,6 +218,36 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- https://linux.die.net/man/3/setbuffer -->
+  <!-- void setbuffer(FILE *stream, char *buf, size_t size); -->
+  <function name="setbuffer">
+    <returnValue type="void"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
+  <!-- https://linux.die.net/man/3/setbuffer -->
+  <!-- void setlinebuf(FILE *stream); -->
+  <function name="setlinebuf">
+    <returnValue type="void"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- https://linux.die.net/man/2/writev -->
   <!-- ssize_t readv(int fd, const struct iovec *iov, int iovcnt); -->
   <function name="readv">
diff --git a/test/cfg/bsd.c b/test/cfg/bsd.c
index d150c6ab3..ba7abb31c 100644
--- a/test/cfg/bsd.c
+++ b/test/cfg/bsd.c
@@ -12,6 +12,21 @@
 #include <sys/time.h>
 #include <sys/uio.h>
 
+void nullPointer_setbuffer(FILE *stream, char *buf, size_t size)
+{
+    // cppcheck-suppress nullPointer
+    (void) setbuffer(NULL, buf, size);
+    (void) setbuffer(stream, NULL, size);
+    (void) setbuffer(stream, buf, size);
+}
+
+void nullPointer_setlinebuf(FILE *stream)
+{
+    // cppcheck-suppress nullPointer
+    (void)setlinebuf(NULL);
+    (void)setlinebuf(stream);
+}
+
 // #9323, #9331
 void verify_timercmp(struct timeval t)
 {