The use of unreachable(), when unreachability is visible to Eclair (and compilers), is deemed a violation. Drop the redundant statement.
No functional change. Signed-off-by: Jan Beulich <[email protected]> --- a/xen/arch/x86/crash.c +++ b/xen/arch/x86/crash.c @@ -118,8 +118,6 @@ static int cf_check do_nmi_crash( for ( ; ; ) halt(); - - unreachable(); } static void nmi_shootdown_cpus(void)
