On Fri, 6 Jun 2025, victorm.l...@amd.com wrote: > From: Nicola Vetrini <nicola.vetr...@bugseng.com> > > Function `reboot_machine' does not return, but lacks the `noreturn' > attribute. > > Functions that never return should be declared with a `noreturn' > attribute. > > The lack of `noreturn' causes a violation of MISRA C Rule 17.11 (not > currently accepted in Xen), and also Rule 2.1: "A project shall not > contain unreachable code". Depending on the compiler used and the > compiler optimization used, the lack of `noreturn' might lead to the > presence of unreachable code. > > No functional change. > > Signed-off-by: Nicola Vetrini <nicola.vetr...@bugseng.com> > Signed-off-by: Victor Lira <victorm.l...@amd.com>
Reviewed-by: Stefano Stabellini <sstabell...@kernel.org>
