Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-29 Thread Julien Grall
On 29/11/2023 09:02, Michal Orzel wrote: Hi Julien, Hi, On 28/11/2023 18:52, Julien Grall wrote: Hi Michal, On 28/11/2023 18:15, Michal Orzel wrote: On 28/11/2023 18:09, Julien Grall wrote: On 28/11/2023 18:00, Michal Orzel wrote: Hi Julien, On 28/11/2023 17:14, Julien Grall wr

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-29 Thread Michal Orzel
Hi Julien, On 28/11/2023 18:52, Julien Grall wrote: > > > Hi Michal, > > On 28/11/2023 18:15, Michal Orzel wrote: >> >> >> On 28/11/2023 18:09, Julien Grall wrote: >>> >>> >>> On 28/11/2023 18:00, Michal Orzel wrote: Hi Julien, On 28/11/2023 17:14, Julien Grall wrote: > >

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Stefano Stabellini
On Tue, 28 Nov 2023, Julien Grall wrote: > On 28/11/2023 18:15, Michal Orzel wrote: > > On 28/11/2023 18:09, Julien Grall wrote: > > > On 28/11/2023 18:00, Michal Orzel wrote: > > > > On 28/11/2023 17:14, Julien Grall wrote: > > > > > On 27/11/2023 15:41, Michal Orzel wrote: > > > > > > Introduce t

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Julien Grall
Hi Michal, On 28/11/2023 18:15, Michal Orzel wrote: On 28/11/2023 18:09, Julien Grall wrote: On 28/11/2023 18:00, Michal Orzel wrote: Hi Julien, On 28/11/2023 17:14, Julien Grall wrote: Hi Michal, On 27/11/2023 15:41, Michal Orzel wrote: Introduce the CONFIG_UBSAN_FATAL option to cat

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Michal Orzel
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 @@

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Andrew Cooper
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) >

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Michal Orzel
On 28/11/2023 18:09, Julien Grall wrote: > > > On 28/11/2023 18:00, Michal Orzel wrote: >> Hi Julien, >> >> On 28/11/2023 17:14, Julien Grall wrote: >>> >>> >>> Hi Michal, >>> >>> On 27/11/2023 15:41, Michal Orzel wrote: Introduce the CONFIG_UBSAN_FATAL option to cater to scenarios where

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Andrew Cooper
On 28/11/2023 5:00 pm, Michal Orzel wrote: > Hi Julien, > > On 28/11/2023 17:14, Julien Grall wrote: >> >> Hi Michal, >> >> On 27/11/2023 15:41, Michal Orzel wrote: >>> Introduce the CONFIG_UBSAN_FATAL option to cater to scenarios where prompt >>> attention to undefined behavior issues, notably dur

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Julien Grall
On 28/11/2023 18:00, Michal Orzel wrote: Hi Julien, On 28/11/2023 17:14, Julien Grall wrote: Hi Michal, On 27/11/2023 15:41, Michal Orzel wrote: Introduce the CONFIG_UBSAN_FATAL option to cater to scenarios where prompt attention to undefined behavior issues, notably during CI test runs,

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Michal Orzel
Hi Julien, On 28/11/2023 17:14, Julien Grall wrote: > > > Hi Michal, > > On 27/11/2023 15:41, Michal Orzel wrote: >> Introduce the CONFIG_UBSAN_FATAL option to cater to scenarios where prompt >> attention to undefined behavior issues, notably during CI test runs, is >> essential. When enabled,

Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-28 Thread Julien Grall
Hi Michal, On 27/11/2023 15:41, Michal Orzel wrote: Introduce the CONFIG_UBSAN_FATAL option to cater to scenarios where prompt attention to undefined behavior issues, notably during CI test runs, is essential. When enabled, this option causes Xen to panic upon detecting UBSAN failure (as the las

[PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure

2023-11-27 Thread Michal Orzel
Introduce the CONFIG_UBSAN_FATAL option to cater to scenarios where prompt attention to undefined behavior issues, notably during CI test runs, is essential. When enabled, this option causes Xen to panic upon detecting UBSAN failure (as the last step in ubsan_epilogue()). Signed-off-by: Michal Orz