mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-19 01:40:39 +08:00
Code Issues Packages Projects Releases Wiki Activity

ASAN: clear DECL_NOT_GIMPLE_REG_P.

Browse Source 
PR sanitizer/95033
	PR sanitizer/95051
	* sanopt.c (sanitize_rewrite_addressable_params):
	Clear DECL_NOT_GIMPLE_REG_P for argument.
	PR sanitizer/95033
	PR sanitizer/95051
	* g++.dg/asan/function-argument-4.C: New test.
	* gcc.dg/asan/pr95033.c: New test.
	* gcc.dg/asan/pr95051.c: New test.
This commit is contained in:
Martin Liska 2020-05-12 10:23:09 +02:00
parent 99b0c9ec47
commit 6b41920bd5
No known key found for this signature in database
GPG Key ID: 4DC182DC0FA73785
6 changed files with 77 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2020-05-12 Martin Liska <mliska@suse.cz>
PR sanitizer/95033
PR sanitizer/95051
* sanopt.c (sanitize_rewrite_addressable_params):
Clear DECL_NOT_GIMPLE_REG_P for argument.
2020-05-12 Richard Sandiford <richard.sandiford@arm.com>
PR tree-optimization/94980

1
gcc/sanopt.c
View File

@ -1158,6 +1158,7 @@ sanitize_rewrite_addressable_params (function *fun)
&& TREE_CODE (TYPE_SIZE (type)) == INTEGER_CST)
{
TREE_ADDRESSABLE (arg) = 0;
DECL_NOT_GIMPLE_REG_P (arg) = 0;
/* The parameter is no longer addressable. */
has_any_addressable_param = true;

8
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,11 @@
2020-05-12 Martin Liska <mliska@suse.cz>
PR sanitizer/95033
PR sanitizer/95051
* g++.dg/asan/function-argument-4.C: New test.
* gcc.dg/asan/pr95033.c: New test.
* gcc.dg/asan/pr95051.c: New test.
2020-05-12 Jakub Jelinek <jakub@redhat.com>
PR c++/95063

26
gcc/testsuite/g++.dg/asan/function-argument-4.C Normal file
View File

@ -0,0 +1,26 @@
// { dg-do run }
// { dg-shouldfail "asan" }
#include <complex.h>
static __attribute__ ((noinline)) long double
goo (long double _Complex *a)
{
return crealf(*(volatile _Complex long double *)a);
}
__attribute__ ((noinline)) float
foo (float _Complex arg)
{
return goo ((long double _Complex *)&arg);
}
int
main ()
{
return foo (3 + 2 * I);
}
// { dg-output "ERROR: AddressSanitizer: stack-buffer-overflow on address.*(\n|\r\n|\r)" }
// { dg-output "READ of size \[0-9\]* at.*" }
// { dg-output ".*'arg' \\(line 13\\) <== Memory access at offset \[0-9\]* partially overflows this variable.*" }

13
gcc/testsuite/gcc.dg/asan/pr95033.c Normal file
View File

@ -0,0 +1,13 @@
/* PR sanitizer/95033 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=address" } */
struct a
{
int b;
};
struct a c(_Complex d)
{
return *(struct a *)&d;
}

22
gcc/testsuite/gcc.dg/asan/pr95051.c Normal file
View File

@ -0,0 +1,22 @@
/* PR sanitizer/95051 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=kernel-address --param=asan-stack=1 -O2" } */
struct a {
struct {
struct {
int b;
} c;
};
};
struct d {
struct {
int e;
} f;
}
g(int h) {
struct a *i;
struct d *j = (struct d*)&h;
i->c.b = j->f.e;
}