Re: [PATCH] -fsanitize-recover=list

2014-12-19 Thread Jakub Jelinek
On Thu, Dec 18, 2014 at 05:34:12PM -0800, Alexey Samsonov wrote: > Reviving this thread. > > What do you think of the following idea: > 1) we keep "-fsanitize-recover" and "-fno-sanitize-recover" as > deprecated synonyms > for "-f(no-)?sanitize=" > 2) we introduce -fsanitize-recover= and > -fno-sa

Re: [PATCH] -fsanitize-recover=list

2014-12-18 Thread Alexey Samsonov
Hi Jakub, On Tue, Nov 18, 2014 at 11:36 AM, Alexey Samsonov wrote: > > On Mon, Nov 17, 2014 at 11:53 PM, Jakub Jelinek wrote: > > On Mon, Nov 17, 2014 at 11:39:47PM -0800, Alexey Samsonov wrote: > >> > That is not what I think we've agreed on and what is implemented in GCC. > >> > -fsanitize-rec

Re: [PATCH] -fsanitize-recover=list

2014-11-18 Thread Alexey Samsonov
On Mon, Nov 17, 2014 at 11:53 PM, Jakub Jelinek wrote: > On Mon, Nov 17, 2014 at 11:39:47PM -0800, Alexey Samsonov wrote: >> > That is not what I think we've agreed on and what is implemented in GCC. >> > -fsanitize-recover only enables recovery of the undefined plus >> > undefined-like sanitizers

Re: [PATCH] -fsanitize-recover=list

2014-11-17 Thread Jakub Jelinek
On Mon, Nov 17, 2014 at 11:39:47PM -0800, Alexey Samsonov wrote: > > That is not what I think we've agreed on and what is implemented in GCC. > > -fsanitize-recover only enables recovery of the undefined plus > > undefined-like sanitizers, in particular it doesn't enable recover from > > kernel-add

Re: [PATCH] -fsanitize-recover=list

2014-11-17 Thread Alexey Samsonov
On Mon, Nov 17, 2014 at 10:47 PM, Jakub Jelinek wrote: > > On Mon, Nov 17, 2014 at 06:40:00PM -0800, Alexey Samsonov wrote: > > I've just prepared a patch implementing -fsanitize-recover= in > > Clang (http://reviews.llvm.org/D6302), writing here to make sure we're > > on > > the same page w.r.t.

Re: [PATCH] -fsanitize-recover=list

2014-11-17 Thread Yury Gribov
As for the generated code, I'm at the stage where I can implement the following: if a single UBSan hander is used to report multiple error kinds (__ubsan_handle_type_mismatch is used for -fsanitize=null,alignment,object-size), and these kinds have different recoverability, then we emit two handler

Re: [PATCH] -fsanitize-recover=list

2014-11-17 Thread Jakub Jelinek
On Mon, Nov 17, 2014 at 06:40:00PM -0800, Alexey Samsonov wrote: > I've just prepared a patch implementing -fsanitize-recover= in > Clang (http://reviews.llvm.org/D6302), writing here to make sure we're > on > the same page w.r.t. flag semantics: > > * -fsanitize-recover: Enable recovery for all c

Re: [PATCH] -fsanitize-recover=list

2014-11-17 Thread Alexey Samsonov
Hi Jakub, I've just prepared a patch implementing -fsanitize-recover= in Clang (http://reviews.llvm.org/D6302), writing here to make sure we're on the same page w.r.t. flag semantics: * -fsanitize-recover: Enable recovery for all checks enabled by -fsanitize= which support it. * -fno-sanitize-rec

Re: [PATCH] -fsanitize-recover=list

2014-10-22 Thread Jakub Jelinek
On Wed, Oct 22, 2014 at 11:59:06AM +0400, Yury Gribov wrote: > >(in some cases for > >the kind that is enabled with -fsanitize= only, in other cases > >perhaps for something covering that and some other options), > > Depending on what? I've just passed contents of -fsanitize= to > -fsanitize-recov

Re: [PATCH] -fsanitize-recover=list

2014-10-22 Thread Yury Gribov
On 10/17/2014 08:13 PM, Jakub Jelinek wrote: On Mon, Oct 13, 2014 at 02:47:07PM +0400, Yury Gribov wrote: On 09/30/2014 09:39 PM, Jakub Jelinek wrote: LGTM, will hack it up soon in GCC then. Do you plan to work on this in near future? Here is only very lightly tested patch, didn't get to up

Re: [PATCH] -fsanitize-recover=list

2014-10-20 Thread Yury Gribov
On 10/17/2014 08:13 PM, Jakub Jelinek wrote: On Mon, Oct 13, 2014 at 02:47:07PM +0400, Yury Gribov wrote: On 09/30/2014 09:39 PM, Jakub Jelinek wrote: LGTM, will hack it up soon in GCC then. Do you plan to work on this in near future? Here is only very lightly tested patch, didn't get to up

[PATCH] -fsanitize-recover=list

2014-10-17 Thread Jakub Jelinek
On Mon, Oct 13, 2014 at 02:47:07PM +0400, Yury Gribov wrote: > On 09/30/2014 09:39 PM, Jakub Jelinek wrote: > >LGTM, will hack it up soon in GCC then. > > Do you plan to work on this in near future? Here is only very lightly tested patch, didn't get to updating documentation though, plus there is