Re: [PATCH v2] Add sanopt support for UBSAN_PTR.

2017-10-06 Thread Jakub Jelinek
On Fri, Oct 06, 2017 at 01:43:20PM +0200, Martin Liška wrote: > Thanks for feedback, all resolved except this one: > > ../../gcc/sanopt.c:561:3: warning: suggest braces around empty body in an > ‘else’ statement [-Wempty-body] >; /* Don't record base_addr + expr_offset, it's not a guarding >

Re: [PATCH v2] Add sanopt support for UBSAN_PTR.

2017-10-06 Thread Martin Liška
On 10/06/2017 12:53 PM, Jakub Jelinek wrote: > On Fri, Oct 06, 2017 at 12:21:00PM +0200, Martin Liška wrote: >> +/* Return true when pointer PTR for a given CUR_OFFSET is already sanitized >> + in a given sanitization context CTX. */ >> + >> +static bool >> +has_dominating_ubsan_ptr_check (sanop

Re: [PATCH v2] Add sanopt support for UBSAN_PTR.

2017-10-06 Thread Jakub Jelinek
On Fri, Oct 06, 2017 at 12:21:00PM +0200, Martin Liška wrote: > +/* Return true when pointer PTR for a given CUR_OFFSET is already sanitized > + in a given sanitization context CTX. */ > + > +static bool > +has_dominating_ubsan_ptr_check (sanopt_ctx *ctx, tree ptr, > +