diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index cf8923da1..77e3f8331 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -9,7 +9,7 @@
free
- xmalloc
+ xmalloc
xcalloc
free
@@ -23,7 +23,7 @@
free
-
+
true
@@ -811,6 +811,7 @@
+
@@ -964,6 +965,40 @@
+
+
+
+ true
+
+
+
+ false
+
+
+
+
+
+
+
+ false
+
+
+
+
+
+
+
+
+
+
+ false
+
+
+
+
+
+
+
close
epoll_create
diff --git a/test/cfg/gnu.c b/test/cfg/gnu.c
index ecd4ba428..d6ef90701 100644
--- a/test/cfg/gnu.c
+++ b/test/cfg/gnu.c
@@ -15,6 +15,13 @@
#include
#endif
+
+void valid_code(int argInt1)
+{
+ if (__builtin_expect(argInt1, 0)) {}
+ if (__builtin_expect_with_probability(argInt1 + 1, 2, 0.5)) {}
+}
+
void ignoreleak(void)
{
char *p = (char *)malloc(10);