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
|
/* PR middle-end/101734 - missing warning reading from a write-only object
Verify that reading objects pointed to by arguments
declared with attribute access none or write-only is diagnosed by
-Wmaybe-uninitialized.
{ dg-do compile }
{ dg-options "-Wall" } */
#define A(mode, ...) __attribute__ ((access (mode, __VA_ARGS__)))
void sink (void *, ...);
A (write_only, 1, 2)
int nowarn_wo_assign_r0 (int *p, int n)
{
*p = n;
return *p;
}
A (write_only, 1, 2)
int nowarn_wo_sink_r0 (int *p, int n)
{
sink (p, p + 1, p + n);
return *p;
}
A (write_only, 1, 2)
int warn_wo_r0 (int *p, int n)
{
return *p; // { dg-warning "'\\*p' may be used uninitialized \\\[-Wmaybe-uninitialized" }
}
A (write_only, 1, 2)
int nowarn_wo_w1_r1 (int *p, int n)
{
p[1] = n;
return p[1];
}
A (write_only, 1, 2)
int warn_wo_r1 (int *p, int n)
{
return p[1]; // { dg-warning "'p\\\[1]' may be used uninitialized" }
}
A (write_only, 1, 2)
int nowarn_wo_rwi_rj (int *p, int n, int i, int j)
{
p[i] = n;
return p[j];
}
A (write_only, 1, 2)
int warn_wo_ri (int *p, int n, int i)
{
return p[i]; // { dg-warning " may be used uninitialized" }
}
A (none, 1, 2)
int* nowarn_none_sink_return (int *p, int n)
{
sink (p, p + 1, p + n);
return p;
}
A (none, 1, 2)
int warn_none_r0 (int *p, int n)
{
(void)&n;
return *p; // { dg-warning "'\\*p' may be used uninitialized" }
}
A (none, 1, 2)
int warn_none_r1 (int *p, int n)
{
return p[1]; // { dg-warning "'p\\\[1]' may be used uninitialized" }
}
A (write_only, 1, 2)
int warn_none_ri (int *p, int n, int i)
{
return p[i]; // { dg-warning " may be used uninitialized" }
}
|
