Re: follow SSA defs for asan base

2021-01-27 Thread Richard Biener via Gcc-patches
On Wed, Jan 27, 2021 at 1:29 PM Alexandre Oliva wrote: > > On Jan 26, 2021, Richard Biener wrote: > > > So while I think it's safe let's look at if we can improve tree-nested.c, > > like I see (probably not the correct place): > > *nod*, it's just not the *only* place. > > > seeing how we adjust

Re: follow SSA defs for asan base

2021-01-27 Thread Alexandre Oliva
On Jan 26, 2021, Richard Biener wrote: > So while I think it's safe let's look at if we can improve tree-nested.c, > like I see (probably not the correct place): *nod*, it's just not the *only* place. > seeing how we adjust current_function_decl around the > recompute_tree_invariant_for_addr_ex

Re: follow SSA defs for asan base

2021-01-26 Thread Richard Biener via Gcc-patches
On Tue, Jan 26, 2021 at 10:52 AM Alexandre Oliva wrote: > > On Jan 22, 2021, Richard Biener via Gcc-patches > wrote: > > > Yeah, I guess such addresses could be decl_address_invariant_p by changing > > the > > > || DECL_CONTEXT (op) == current_function_decl > > || decl_functi

Re: follow SSA defs for asan base

2021-01-26 Thread Alexandre Oliva
On Jan 22, 2021, Richard Biener via Gcc-patches wrote: > Yeah, I guess such addresses could be decl_address_invariant_p by changing > the > || DECL_CONTEXT (op) == current_function_decl > || decl_function_context (op) == current_function_decl) > to sth like >|| auto

Re: follow SSA defs for asan base

2021-01-22 Thread Richard Biener via Gcc-patches
On Thu, Jan 21, 2021 at 10:36 PM Alexandre Oliva wrote: > > > Ada makes extensive use of nested functions, which turn all automatic > variables of the enclosing function that are used in nested ones into > members of an artificial FRAME record type. > > The address of a local variable is usually p

Re: follow SSA defs for asan base

2021-01-22 Thread Jakub Jelinek via Gcc-patches
On Thu, Jan 21, 2021 at 06:35:48PM -0300, Alexandre Oliva wrote: > > Ada makes extensive use of nested functions, which turn all automatic > variables of the enclosing function that are used in nested ones into > members of an artificial FRAME record type. > > The address of a local variable is u