On Fri, Jun 30, 2017 at 12:00:36PM +0200, Martin Liška wrote:
> Hi.
>
> Following crap code was added by me when I added use-after-scope.
> Actually decl always points to LASANPC, so asan_handled_variables->contains
> (decl)
> is always false.
>
> Well, originally the idea was to not clear content (place in shadow memory in
> between
> red zoner) of auto variables, but as we emit 0xf5 in order to have working
> use-after-return,
> it probably does not worth for doing an optimization?
use-after-return is only runtime conditional, defaults to off.
And your patch doesn't bring the code to anything close to what we had
before the -fsanitize-use-after-scope changes, just look what it did before
- only cleared the shadow spots that weren't known to be 0, clearing the
whole shadow might be too expensive. Consider many KB large local
variables.
You can find the right decl in decls[l / 2] or decls[l / 2 - 1] or so.
Jakub
