On 05.06.2025 01:49, victorm.l...@amd.com wrote: > From: Nicola Vetrini <nicola.vetr...@bugseng.com> > > 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 <nicola.vetr...@bugseng.com> > Signed-off-by: Victor Lira <victorm.l...@amd.com>
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
