mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Dmytro Prokopchuk
b07838dc46
The R11.1 safe cast only matched void noreturn (*)(void *). Accept a conversion where noreturn is omitted and the signature is otherwise compatible. canonical() covers typeof destinations, and compatible_deep_unqualified keeps the parameter and return types aligned. Discarding noreturn does not change the calling convention. Code after the call is unreachable when every possible callee is noreturn. Leaving that code in place is a tolerated Rule 2.1 violation. The full rationale is in docs/misra/deviations.rst. Signed-off-by: Dmytro Prokopchuk <dmytro_prokopchuk1@epam.com> Acked-by: Nicola Vetrini <nicola.vetrini@bugseng.com> # automation/eclair_analysis/.* Acked-by: Jan Beulich <jbeulich@suse.com>