diff options
| author | Martin Liska <mliska@suse.cz> | 2017-07-28 12:36:36 +0200 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2017-07-28 10:36:36 +0000 |
| commit | 70affe6aff39d347a0e2b7f12a27e1cad4cae405 (patch) | |
| tree | e6761da9c83736d3fbff2f93dbf1f34a663bd39a /gcc | |
| parent | 16bab95a79485ac5139992bd5f190ad95602ddda (diff) | |
| download | gcc-70affe6aff39d347a0e2b7f12a27e1cad4cae405.zip gcc-70affe6aff39d347a0e2b7f12a27e1cad4cae405.tar.gz gcc-70affe6aff39d347a0e2b7f12a27e1cad4cae405.tar.bz2 | |
Do not handle VLA in sanitization (PR sanitizer/81460).
2017-07-28 Martin Liska <mliska@suse.cz>
PR sanitizer/81460
* sanopt.c (sanitize_rewrite_addressable_params): Do not rewrite
parameters that are of a variable-length.
2017-07-28 Martin Liska <mliska@suse.cz>
PR sanitizer/81460
* gcc.dg/asan/pr81460.c: New test.
From-SVN: r250655
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/sanopt.c | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/asan/pr81460.c | 8 |
4 files changed, 22 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6b9a588..e5b2be5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-07-28 Martin Liska <mliska@suse.cz> + + PR sanitizer/81460 + * sanopt.c (sanitize_rewrite_addressable_params): Do not rewrite + parameters that are of a variable-length. + 2017-07-28 Sebastian Huber <sebastian.huber@embedded-brains.de> * config.gcc (powerpc-*-rtems*): Remove rs6000/eabi.h. Add diff --git a/gcc/sanopt.c b/gcc/sanopt.c index b7740741..f6a3d6e 100644 --- a/gcc/sanopt.c +++ b/gcc/sanopt.c @@ -894,11 +894,12 @@ sanitize_rewrite_addressable_params (function *fun) for (tree arg = DECL_ARGUMENTS (current_function_decl); arg; arg = DECL_CHAIN (arg)) { - if (TREE_ADDRESSABLE (arg) && !TREE_ADDRESSABLE (TREE_TYPE (arg))) + tree type = TREE_TYPE (arg); + if (TREE_ADDRESSABLE (arg) && !TREE_ADDRESSABLE (type) + && TREE_CODE (TYPE_SIZE (type)) == INTEGER_CST) { TREE_ADDRESSABLE (arg) = 0; /* The parameter is no longer addressable. */ - tree type = TREE_TYPE (arg); has_any_addressable_param = true; /* Create a new automatic variable. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 19f1070..26c47b2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-07-28 Martin Liska <mliska@suse.cz> + + PR sanitizer/81460 + * gcc.dg/asan/pr81460.c: New test. + 2017-07-28 Jakub Jelinek <jakub@redhat.com> PR tree-optimization/81578 diff --git a/gcc/testsuite/gcc.dg/asan/pr81460.c b/gcc/testsuite/gcc.dg/asan/pr81460.c new file mode 100644 index 0000000..00c1bb7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/asan/pr81460.c @@ -0,0 +1,8 @@ +/* PR sanitizer/80460 */ +/* { dg-do compile } */ + +int +f (int a, struct { int b[a]; } c) /* { dg-warning "anonymous struct declared inside parameter list will not be visible outside of this definition or declaration" } */ +{ + return c.b[0]; +} |