On 27/11/2023 2:41 pm, Michal Orzel wrote:
> diff --git a/xen/common/ubsan/ubsan.c b/xen/common/ubsan/ubsan.c
> index a3a80fa99eec..dd5ee0013648 100644
> --- a/xen/common/ubsan/ubsan.c
> +++ b/xen/common/ubsan/ubsan.c
> @@ -174,6 +174,10 @@ static void ubsan_epilogue(unsigned long *flags)
> "========================================\n");
> spin_unlock_irqrestore(&report_lock, *flags);
> current->in_ubsan--;
> +
> +#ifdef CONFIG_UBSAN_FATAL
> + panic("UBSAN failure detected\n");
> +#endif
if ( IS_ENABLED(CONFIG_UBSAN_FATAL) )
panic("UBSAN failure detected\n");
please. Happy to fix on commit.
Reviewed-by: Andrew Cooper <[email protected]>
