On Fri, Mar 10, 2017 at 02:09:20PM +0100, Martin Liška wrote:
> Hello.
>
> This is follow-up patch which I agreed on with Jakub.
> It enables CHKP with LSAN and majority of UBSAN options.
>
> Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
>
> Ready to be installed?
> Martin
> >From a410d5e4e028d34dc00b4aa637cdcd3986b971d8 Mon Sep 17 00:00:00 2001
> From: marxin <mli...@suse.cz>
> Date: Fri, 10 Mar 2017 11:05:27 +0100
> Subject: [PATCH] MPX: Fix option handling.
>
> gcc/ChangeLog:
>
> 2017-03-10 Martin Liska <mli...@suse.cz>
>
> PR target/65705
> PR target/69804
> * toplev.c (process_options): Enable MPX with LSAN and UBSAN
> (except -fsanitize=bounds and -fsanitize=bounds-strict).
Please avoid the ()s, that is confusing with ()s used to surround
function etc. names. Just use UBSAN,
except ... strict.
> * tree-chkp.c (chkp_walk_pointer_assignments): Verify that
> FIELD != NULL.
> + error_at (UNKNOWN_LOCATION,
> + "-fcheck-pointer-bounds is not supported with "
> + "-fsanitize=bounds-strict");
> + flag_check_pointer_bounds = 0;
Given the recent i18n discussions, perhaps this ought to be
%<-fcheck-pointer-bounds%> and %<-fsanitize=bounds-strict%> and similarly
elsewhere (of course not for Address/Thread Sanitizer words).
Ok for trunk either way.
Jakub
