Name of failed tests
====================
main
----
* difference between net-next and batadv main
stable
------
* smatch v6.15-rc1 CONFIG_BATMAN_ADV_BLA=n CONFIG_BATMAN_ADV_DAT=y
CONFIG_BATMAN_ADV_DEBUG=y CONFIG_BATMAN_ADV_TRACING=n CONFIG_BATMAN_ADV_NC=y
CONFIG_BATMAN_ADV_MCAST=y CONFIG_BATMAN_ADV_BATMAN_V=y
Output of different failed tests
================================
main: difference between net-next and batadv main
-------------------------------------------------
netnext/net/batman-adv/hard-interface.c | 31 +++++++++--------------
1 file changed, 13 insertions(+), 18 deletions(-)
stable: smatch v6.15-rc1 CONFIG_BATMAN_ADV_BLA=n CONFIG_BATMAN_ADV_DAT=y
CONFIG_BATMAN_ADV_DEBUG=y CONFIG_BATMAN_ADV_TRACING=n CONFIG_BATMAN_ADV_NC=y
CONFIG_BATMAN_ADV_MCAST=y CONFIG_BATMAN_ADV_BATMAN_V=y
---------------------------------------------------------------------------
net/batman-adv/bat_v_ogm.c:764 batadv_v_ogm_route_update() parse error:
Function too hairy. Ignoring implications after 33 seconds.
Statistics
==========
main
----
Failed tests: 1
Started build tests: 186
Tested Linux versions: 40
Tested configs: 99
stable
------
Failed tests: 1
Started build tests: 210
Tested Linux versions: 38
Tested configs: 106
