On 28/11/2023 18:15, Andrew Cooper wrote:
>
>
> 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.
Sounds good to me, thanks.
~Michal
