On 05.06.2025 01:49, [email protected] wrote: > From: Nicola Vetrini <[email protected]> > > The marked functions never return to their caller, but > lack the `noreturn' attribute, therefore causing a violation > of MISRA C Rule 2.1: "A project shall not contain unreachable code". > > No functional change. > > Signed-off-by: Nicola Vetrini <[email protected]> > Signed-off-by: Victor Lira <[email protected]>
I expect the comment on patch 1 applies to some or all of the cases here, too. For example, I expect that even if efi_arch_halt() wasn't inlined into its sole caller, the compiler would also be able to infer noreturn from the infinite loop there. Jan
