On Fri, 6 Jun 2025, [email protected] wrote: > From: Nicola Vetrini <[email protected]> > > 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 <[email protected]> > Signed-off-by: Victor Lira <[email protected]>
Reviewed-by: Stefano Stabellini <[email protected]>
