[Bug sanitizer/81715] asan-stack=1 redzone allocation is too inflexible

["jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81715

--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Sep 21 12:26:34 2017
New Revision: 253065

URL: https://gcc.gnu.org/viewcvs?rev=253065&root=gcc&view=rev
Log:
        PR sanitizer/81715
        * tree-inline.c (expand_call_inline): Emit clobber stmts for
        VAR_DECLs to which addressable non-volatile parameters are mapped
        and for id->retvar after the return value assignment.  Clear
        id->retval and id->retbnd after inlining.

        * g++.dg/tree-ssa/pr8781.C (noop): Change argument type from
        const predicate to const predicate & to avoid UB.
        * g++.dg/opt/pr81715.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/opt/pr81715.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr8781.C
    trunk/gcc/tree-inline.c