From 2fd9ac7a69790171ab86c3c3df893959d1fde6ca Mon Sep 17 00:00:00 2001 From: Christian Brabandt Date: Wed, 20 Aug 2025 20:31:08 +0200 Subject: [PATCH] patch 9.1.1653: Coverity complains about Null pointer dereference Problem: Coverity complains about Null pointer dereference (after v9.1.1643) Solution: Check that TabPageIdx is not Null Signed-off-by: Christian Brabandt --- src/mouse.c | 5 ++--- src/version.c | 2 ++ 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/mouse.c b/src/mouse.c index 88d17a5450..86400448a8 100644 --- a/src/mouse.c +++ b/src/mouse.c @@ -347,8 +347,7 @@ do_mouse( if (!is_drag) // release, reset got_click { got_click = FALSE; - if (in_tab_line || in_tabpanel - ) + if (in_tab_line || in_tabpanel) { in_tab_line = FALSE; in_tabpanel = FALSE; @@ -571,7 +570,7 @@ do_mouse( } return TRUE; } - else if (is_drag && (in_tabpanel || in_tab_line)) + else if (is_drag && (in_tabpanel || (in_tab_line && TabPageIdxs != NULL)) { #if defined(FEAT_TABPANEL) if (in_tabpanel) diff --git a/src/version.c b/src/version.c index 663e3f5ae2..359790bfd1 100644 --- a/src/version.c +++ b/src/version.c @@ -724,6 +724,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1653, /**/ 1652, /**/