blob: 1f549ca70a76618bd21ec7f9689c429f19603b87 (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
/* PR middle-end/63272 - GCC should warn when using pointer to dead scoped
variable within the same function
Exercise -Wdangling-pointer for escaping stores of addreses of auto
variables.
{ dg-do compile }
{ dg-options "-O0 -Wall -ftrack-macro-expansion=0" } */
void* alloca (__SIZE_TYPE__);
void* sink (void*, ...);
extern void *evp;
void nowarn_store_extern_call (void)
{
int x;
evp = &x;
sink (0);
}
void nowarn_store_extern_ovrwrite (void)
{
int x;
evp = &x;
evp = 0;
}
void nowarn_store_extern_store (void)
{
int x;
void **p = (void**)sink (&evp);
evp = &x;
*p = 0;
}
void warn_store_alloca (int n)
{
// This fails because of a bug in the warning.
void *p = alloca (n);
evp = p; // { dg-warning "storing the address of local variable 'x' in 'evp1'" "pr??????" { xfail *-*-* } }
}
void warn_store_extern (void)
{
extern void *evp1; // { dg-message "'evp1' declared here" }
int x; // { dg-message "'x' declared here" }
evp1 = &x; // { dg-warning "storing the address of local variable 'x' in 'evp1'" }
}
void nowarn_store_arg_call (void **vpp)
{
int x;
*vpp = &x;
sink (0);
}
void nowarn_store_arg_ovrwrite (void **vpp)
{
int x;
*vpp = &x;
*vpp = 0;
}
void nowarn_store_arg_store (void **vpp)
{
int x;
void **p = (void**)sink (0);
*vpp = &x;
*p = 0;
}
void* nowarn_store_arg_store_arg (void **vpp1, void **vpp2)
{
int x;
void **p = (void**)sink (0);
*vpp1 = &x; // warn here?
*vpp2 = 0; // might overwrite *vpp1
return p;
}
void warn_store_arg (void **vpp)
{
int x; // { dg-message "'x' declared here" }
*vpp = &x; // { dg-warning "storing the address of local variable 'x' in '\\*vpp'" }
}
|
