tweaks: avoid dereferencing a pointer when it is NULL [coverity scan]

master
Benno Schulenberg 2018-07-14 20:02:03 +02:00
parent 75c7c35cfd
commit d994af0334
1 changed files with 1 additions and 1 deletions

View File

@ -862,7 +862,7 @@ void do_redo(void)
while (u != NULL && u->next != openfile->current_undo)
u = u->next;
if (u->next != openfile->current_undo) {
if (u == NULL) {
statusline(ALERT, "Bad undo stack -- please report a bug");
return;
}