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