blob: fb02082f3d942c27e754899aa8ab3bbf3b040867 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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.*" }
|