Re: new ubsan handler

[Martin Uecker <muecker@gwdg.de>]

Am Montag, dem 19.12.2022 um 15:22 +0100 schrieb Martin Liška:
> On 12/19/22 10:25, Martin Uecker wrote:
> > Am Montag, dem 19.12.2022 um 09:44 +0100 schrieb Martin Liška:
> > > On 12/17/22 20:35, Martin Uecker wrote:
> > > > 
> > > > 
> > > > Hi all,
> > > > 
> > > > what is the process for adding a new UBsan handler?
> > > 
> > > Hello.
> > > 
> > > Yes, we sync the run-time library from LLVM project. So a new
> > > sanitizer
> > > should go there first.
> > > 
> > > > 
> > > > We have the source in the GCC tree, but I guess this
> > > > should go via LLVM?
> > > 
> > > And the compiler support (instrumentation) is independent.
> > 
> > Thanks Martin!
> > 
> > Does it make sense to send the full patch (with changes
> > to the compiler and library) to gcc-patches first for
> > review?
> 
> Yep, please CC me.
> 
> > 
> > I am working on a patch that calls a handler when bounds
> > for VM-types do not match on assignment.
> 
> Nice. So basically something like -fsanitize=bounds/bounds-
> strict/object-size ?

Yes, it would diagnose the following mismatch
and other similar cases:

int a[10];
int n = 5;
char (*p)[n] = &a;


Martin