Name of failed tests
====================
main
----
* headers
stable
------
* smatch v6.15-rc1 CONFIG_BATMAN_ADV_BLA=y CONFIG_BATMAN_ADV_DAT=y
CONFIG_BATMAN_ADV_DEBUG=y CONFIG_BATMAN_ADV_TRACING=y CONFIG_BATMAN_ADV_NC=n
CONFIG_BATMAN_ADV_MCAST=y CONFIG_BATMAN_ADV_BATMAN_V=n
Output of different failed tests
================================
main: headers
-------------
diff --git a/net/batman-adv/main.c b/net/batman-adv/main.c
index 3f6514a3..a356e60f 100644
--- a/net/batman-adv/main.c
+++ b/net/batman-adv/main.c
@@ -11,7 +11,7 @@
#include <linux/build_bug.h>
#include <linux/byteorder/generic.h>
#include <linux/container_of.h>
-#include <linux/crc32c.h>
+#include <linux/crc32.h>
#include <linux/device.h>
#include <linux/errno.h>
#include <linux/gfp.h>
diff --git a/net/batman-adv/mesh-interface.c
b/net/batman-adv/mesh-interface.c
index 84d7ac44..6db93c5d 100644
--- a/net/batman-adv/mesh-interface.c
+++ b/net/batman-adv/mesh-interface.c
@@ -36,7 +36,6 @@
#include <linux/stddef.h>
#include <linux/string.h>
#include <linux/types.h>
-#include <net/net_namespace.h>
#include <net/netlink.h>
#include <uapi/linux/batadv_packet.h>
#include <uapi/linux/batman_adv.h>
diff --git a/net/batman-adv/translation-table.c
b/net/batman-adv/translation-table.c
index 0c6992eb..cb2563be 100644
--- a/net/batman-adv/translation-table.c
+++ b/net/batman-adv/translation-table.c
@@ -14,7 +14,7 @@
#include <linux/cache.h>
#include <linux/compiler.h>
#include <linux/container_of.h>
-#include <linux/crc32c.h>
+#include <linux/crc32.h>
#include <linux/err.h>
#include <linux/errno.h>
#include <linux/etherdevice.h>
stable: smatch v6.15-rc1 CONFIG_BATMAN_ADV_BLA=y CONFIG_BATMAN_ADV_DAT=y
CONFIG_BATMAN_ADV_DEBUG=y CONFIG_BATMAN_ADV_TRACING=y CONFIG_BATMAN_ADV_NC=n
CONFIG_BATMAN_ADV_MCAST=y CONFIG_BATMAN_ADV_BATMAN_V=n
---------------------------------------------------------------------------
net/batman-adv/bat_iv_ogm.c:1499 batadv_iv_ogm_process_per_outif() parse
error: Function too hairy. Ignoring implications after 27 seconds.
Statistics
==========
main
----
Failed tests: 1
Started build tests: 227
Tested Linux versions: 40
Tested configs: 101
stable
------
Failed tests: 1
Started build tests: 212
Tested Linux versions: 40
Tested configs: 104
