From fb61d96cf20d5bb6db8fd72ef7b528804e9f6be4 Mon Sep 17 00:00:00 2001 From: Martin Liska Date: Wed, 30 Nov 2016 10:26:51 +0100 Subject: [PATCH] Support nested functions (PR sanitizer/78541). PR sanitizer/78541 * gcc.dg/asan/pr78541-2.c: New test. * gcc.dg/asan/pr78541.c: New test. PR sanitizer/78541 * asan.c (asan_expand_mark_ifn): Properly select a VAR_DECL from FRAME.* component reference. From-SVN: r243003 --- gcc/ChangeLog | 6 ++++++ gcc/asan.c | 6 ++++++ gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gcc.dg/asan/pr78541-2.c | 10 ++++++++++ gcc/testsuite/gcc.dg/asan/pr78541.c | 25 +++++++++++++++++++++++++ 5 files changed, 53 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/asan/pr78541-2.c create mode 100644 gcc/testsuite/gcc.dg/asan/pr78541.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8f8e450f8f0..c68d3c95005 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-11-30 Martin Liska + + PR sanitizer/78541 + * asan.c (asan_expand_mark_ifn): Properly + select a VAR_DECL from FRAME.* component reference. + 2016-11-30 Segher Boessenkool PR rtl-optimization/78583 diff --git a/gcc/asan.c b/gcc/asan.c index 6e93ea3aba5..cb5d6158e59 100644 --- a/gcc/asan.c +++ b/gcc/asan.c @@ -2713,6 +2713,12 @@ asan_expand_mark_ifn (gimple_stmt_iterator *iter) tree base = gimple_call_arg (g, 1); gcc_checking_assert (TREE_CODE (base) == ADDR_EXPR); tree decl = TREE_OPERAND (base, 0); + + /* For a nested function, we can have: ASAN_MARK (2, &FRAME.2.fp_input, 4) */ + if (TREE_CODE (decl) == COMPONENT_REF + && DECL_NONLOCAL_FRAME (TREE_OPERAND (decl, 0))) + decl = TREE_OPERAND (decl, 0); + gcc_checking_assert (TREE_CODE (decl) == VAR_DECL); if (asan_handled_variables == NULL) asan_handled_variables = new hash_set (16); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a79a4a8a94a..3074e6d05a5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2016-11-30 Martin Liska + + PR sanitizer/78541 + * gcc.dg/asan/pr78541-2.c: New test. + * gcc.dg/asan/pr78541.c: New test. + 2016-11-30 Jakub Jelinek PR tree-optimization/78586 diff --git a/gcc/testsuite/gcc.dg/asan/pr78541-2.c b/gcc/testsuite/gcc.dg/asan/pr78541-2.c new file mode 100644 index 00000000000..44be19ccbca --- /dev/null +++ b/gcc/testsuite/gcc.dg/asan/pr78541-2.c @@ -0,0 +1,10 @@ +/* PR sanitizer/78560 */ +/* { dg-do compile } */ + +void __quadmath_mpn_extract_flt128 (long *fp_input); + +int fn1 () +{ + long fp_input[1]; + int hack_digit () { __quadmath_mpn_extract_flt128 (fp_input); } +} diff --git a/gcc/testsuite/gcc.dg/asan/pr78541.c b/gcc/testsuite/gcc.dg/asan/pr78541.c new file mode 100644 index 00000000000..fb02082f3d9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/asan/pr78541.c @@ -0,0 +1,25 @@ +// PR sanitizer/78560 +// { dg-do run } +// { dg-shouldfail "asan" } + +void foo (double a, double b) +{ + double *ptr; + { + double x = a + b; + ptr = &x; + } + double square () { __builtin_printf ("", *ptr); } + + square (); +} + +int main() +{ + foo (1.2f, 2.3f); + return 0; +} + +// { dg-output "ERROR: AddressSanitizer: stack-use-after-scope on address.*(\n|\r\n|\r)" } +// { dg-output "READ of size.*" } +// { dg-output ".*'x' <== Memory access at offset \[0-9\]* is inside this variable.*" } -- 2.30.2