This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Support asan-instrumentation-with-call-threshold in GCC (second try)
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Yury Gribov <y dot gribov at samsung dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, Konstantin Serebryany <kcc at gcc dot gnu dot org>, Viacheslav Garbuzov <v dot garbuzov at samsung dot com>, Dmitry Vyukov <dvyukov at google dot com>, Yuri Gribov <tetra2005 at gmail dot com>
- Date: Mon, 16 Jun 2014 10:23:18 +0200
- Subject: Re: [PATCH] Support asan-instrumentation-with-call-threshold in GCC (second try)
- Authentication-results: sourceware.org; auth=none
- References: <538D8136 dot 3030402 at samsung dot com> <20140603083751 dot GU10386 at tucnak dot redhat dot com> <53914CC1 dot 30104 at samsung dot com> <20140606060153 dot GK10386 at tucnak dot redhat dot com> <5395D75E dot 8090900 at samsung dot com> <20140611093150 dot GN19001 at tucnak dot redhat dot com> <5398514C dot 3090301 at samsung dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Wed, Jun 11, 2014 at 04:53:32PM +0400, Yury Gribov wrote:
> On 06/11/2014 01:31 PM, Jakub Jelinek wrote:
> >The plan (we had already for 4.9, but didn't get to that yet) is in the end
> >not to lower the checks in asan pass that much, and lower it in sanopt
> >pass later on after performing some inter-bb optimizations.
> >...
> >The reason for the plan is that it will be easier in the sanopt pass to
> >try to remove redundant instrumentation, e.g. when dominator bb already
> >checks a particular address/length and no calls that could change the
> >validity of the checks happen between the dominator bb and the dominated
> >__asan_load/storeX.
>
> Sounds great, should help get rid of many useless checks.
> Do you guys need a hand with this?
That would be appreciated.
> Like this?
>
> -Y
> 2014-06-11 Yury Gribov <y.gribov@samsung.com>
>
> New asan-instrumentation-with-call-threshold parameter.
Ok, thanks.
Jakub