From 43dbf83aa216ac9b92a98fdf9fa090192be65a6d Mon Sep 17 00:00:00 2001
From: Vladimir Serbinenko <phcoder@gmail.com>
Date: Mon, 23 Jan 2017 23:32:25 +0300
Subject: [PATCH] Ensure that grub_reboot doesn't return on emu.

Use grub_fatal if longjmp fails.

grub_reboot is marked as noreturn so return would cause
a crash.
---
 grub-core/kern/emu/main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/grub-core/kern/emu/main.c b/grub-core/kern/emu/main.c
index f91280f68..425bb9603 100644
--- a/grub-core/kern/emu/main.c
+++ b/grub-core/kern/emu/main.c
@@ -63,6 +63,7 @@ void
 grub_reboot (void)
 {
   longjmp (main_env, 1);
+  grub_fatal ("longjmp failed");
 }
 
 void