On 06.06.2025 23:27, 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.
I continue to be unhappy about this: I still fail to see how this "might" could materialize in the specific case here. My earlier request for commit message improvement was specifically about making the description match the particular case, not to add further general wording. That said, if others feel like ack-ing this in this form, so be it. Jan
