Re: [PATCH][PING] Enable -fsanitize-recover for KASan

2014-09-18 Thread Joseph S. Myers
On Thu, 18 Sep 2014, Jakub Jelinek wrote: > Seems for -fdelete-null-pointer-checks we got it wrong too, > IMHO for -fsanitize={null,{,returns-}nonnull-attribute,undefined} > we want to disable it unconditionally, regardless of whether > that option appears on the command line or not. > And we hand

Re: [PATCH][PING] Enable -fsanitize-recover for KASan

2014-09-18 Thread Yury Gribov
Added Marek to comment on proposed UBSan option change. On 09/18/2014 02:52 PM, Jakub Jelinek wrote: --- a/gcc/opts.c +++ b/gcc/opts.c @@ -1551,6 +1551,12 @@ common_handle_option (struct gcc_options *opts, | SANITIZE_RETURNS_NONNULL_ATTRIBUTE)) opts->x_flag

Re: [PATCH][PING] Enable -fsanitize-recover for KASan

2014-09-18 Thread Jakub Jelinek
On Mon, Sep 15, 2014 at 01:38:42PM +0400, Yury Gribov wrote: > --- a/gcc/builtins.def > +++ b/gcc/builtins.def > @@ -176,7 +176,7 @@ along with GCC; see the file COPYING3. If not see >DEF_BUILTIN (ENUM, "__builtin_" NAME, BUILT_IN_NORMAL, TYPE, TYPE,\ > true, true, true, ATTRS

[PATCH][PING] Enable -fsanitize-recover for KASan

2014-09-15 Thread Yury Gribov
On 09/05/2014 10:54 AM, Yury Gribov wrote: Hi all, This patch enables -fsanitize-recover for KASan by default. This causes KASan to continue execution after error in case of inline instrumentation. This feature is needed because - reports during early bootstrap won't even be printed - needed to