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 @@
0:
+
+
+
+
+ false
+
+
+
+
+
+
+
+
+
+
+
+ 0:
+
+
+
+
+
+
+ false
+
+
+
+
+
+
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
#include
+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)
{