Re: [PATCH] Fix ubsan handling of BIND_EXPR (PR sanitizer/71498)

2016-06-13 Thread Marek Polacek
On Mon, Jun 13, 2016 at 08:39:43PM +0200, Jakub Jelinek wrote: > Hi! > > As has been discussed in the original -fsanitize=bounds submission, > walk_tree for BIND_EXPR walks the body and > DECL_INITIAL/DECL_SIZE/DECL_SIZE_UNIT of all the BIND_EXPR_VARS. > For -fsanitize=bounds instrumentation, we

[PATCH] Fix ubsan handling of BIND_EXPR (PR sanitizer/71498)

2016-06-13 Thread Jakub Jelinek
Hi! As has been discussed in the original -fsanitize=bounds submission, walk_tree for BIND_EXPR walks the body and DECL_INITIAL/DECL_SIZE/DECL_SIZE_UNIT of all the BIND_EXPR_VARS. For -fsanitize=bounds instrumentation, we want to avoid walking DECL_INITIAL of TREE_STATIC vars, so should set