From f544d976faf23649a5015eb25f3296f715a7a1bc Mon Sep 17 00:00:00 2001 From: Eliseo Martínez Date: Sun, 16 Nov 2014 13:34:57 +0100 Subject: Fix warnings: window.c: win_drag_vsep_line(): Np dereference: FP. Problem : Dereference of null pointer @ 4512. Diagnostic : False positive. Rationale : Suggested error path implies `fr == NULL` after 4504. That's not possible, because: - curfr and curfr->next must be both nonnull, as we are dragging the divider between the two. - after conditional, fr is one of those two (the one that grows). Resolution : Assert fr. --- src/nvim/window.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/nvim/window.c') diff --git a/src/nvim/window.c b/src/nvim/window.c index 96f074c9a5..63c46f243e 100644 --- a/src/nvim/window.c +++ b/src/nvim/window.c @@ -4504,6 +4504,7 @@ void win_drag_vsep_line(win_T *dragwin, int offset) room += fr->fr_width - frame_minwidth(fr, NULL); fr = curfr; /* put fr at window that grows */ } + assert(fr); if (room < offset) /* Not enough room */ offset = room; /* Move as far as we can */ -- cgit