This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c

From: Yury Gribov <y dot gribov at samsung dot com>
To: Marek Polacek <polacek at redhat dot com>, Jakub Jelinek <jakub at redhat dot com>
Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
Date: Wed, 05 Nov 2014 15:16:49 +0300
Subject: Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
Authentication-results: sourceware.org; auth=none
References: <20141103142757 dot GP20462 at redhat dot com> <5459EB9A dot 60008 at samsung dot com> <20141105093306 dot GB5026 at tucnak dot redhat dot com> <5459F3DD dot 8070709 at samsung dot com> <20141105102918 dot GX20462 at redhat dot com> <20141105105020 dot GC5026 at tucnak dot redhat dot com> <20141105112337 dot GY20462 at redhat dot com>

On 11/05/2014 02:23 PM, Marek Polacek wrote:

On Wed, Nov 05, 2014 at 11:50:20AM +0100, Jakub Jelinek wrote:

On Wed, Nov 05, 2014 at 11:29:19AM +0100, Marek Polacek wrote:

On Wed, Nov 05, 2014 at 12:54:37PM +0300, Yury Gribov wrote:

Are you going to work on ASan soon?  I could rebase my patches on top of
Marek's infrastructure.


I'm not going to work on ASan today or tomorrow, but it'd be nice to
get this ASan opt in in this stage1.

So if you can rebase your patch, I think that will be appreciated.


Note, the algorithm we were discussing with Honza for the
"is there any possibility of a freeing call on the path between a dominating
and dominated ASAN_CHECK"


Right.  Let me see then if I can implement the following soon, maybe
it makes sense to rebase Yuri's patch only on top of this algorithm.


The algorithm looks like should_hoist_expr_to_dom in gcse.c btw.

BTW have you considered relaxing the non-freeing restriction to not dropaccesses to globals and stack variables? I wonder if we could winsomething there.

-Y

Follow-Ups:
- Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Jakub Jelinek

References:
- [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Marek Polacek
- Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Yury Gribov
- Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Jakub Jelinek
- Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Yury Gribov
- Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Marek Polacek
- Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Jakub Jelinek
- Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c
  - From: Marek Polacek

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]