blob: 9a6576e1b0aa5fe00ef78ab27069673d005915b3 (
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
#include "analyzer-decls.h"
typedef __SIZE_TYPE__ size_t;
int test_1 (void)
{
int i; /* { dg-message "region created on stack here" } */
return i; /* { dg-warning "use of uninitialized value 'i'" } */
}
int test_2 (void)
{
int i; /* { dg-message "region created on stack here" } */
return i * 2; /* { dg-warning "use of uninitialized value 'i'" } */
}
int test_3 (void)
{
static int i;
return i;
}
int test_4 (void)
{
int *p; /* { dg-message "region created on stack here" } */
return *p; /* { dg-warning "use of uninitialized value 'p'" } */
}
int test_5 (int flag, int *q)
{
int *p; /* { dg-message "region created on stack here" } */
if (flag) /* { dg-message "following 'false' branch" } */
p = q;
/* There should be two enodes here,
i.e. not merging the init vs non-init states. */
__analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
return *p; /* { dg-warning "use of uninitialized value 'p'" } */
}
int test_6 (int i)
{
int arr[10]; /* { dg-message "region created on stack here" } */
return arr[i]; /* { dg-warning "use of uninitialized value 'arr\\\[i\\\]'" } */
}
int test_rshift_rhs (int i)
{
int j; /* { dg-message "region created on stack here" } */
return i >> j; /* { dg-warning "use of uninitialized value 'j'" } */
}
int test_lshift_rhs (int i)
{
int j; /* { dg-message "region created on stack here" } */
return i << j; /* { dg-warning "use of uninitialized value 'j'" } */
}
int test_rshift_lhs (int i)
{
int j; /* { dg-message "region created on stack here" } */
return j >> i; /* { dg-warning "use of uninitialized value 'j'" } */
}
int test_lshift_lhs (int i)
{
int j; /* { dg-message "region created on stack here" } */
return j << i; /* { dg-warning "use of uninitialized value 'j'" } */
}
int test_cmp (int i)
{
int j; /* { dg-message "region created on stack here" } */
return i < j; /* { dg-warning "use of uninitialized value 'j'" } */
}
float test_plus_rhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return x + y; /* { dg-warning "use of uninitialized value 'y'" } */
}
float test_plus_lhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return y + x; /* { dg-warning "use of uninitialized value 'y'" } */
}
float test_minus_rhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return x - y; /* { dg-warning "use of uninitialized value 'y'" } */
}
float test_minus_lhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return y - x; /* { dg-warning "use of uninitialized value 'y'" } */
}
float test_times_rhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return x * y; /* { dg-warning "use of uninitialized value 'y'" } */
}
float test_times_lhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return y * x; /* { dg-warning "use of uninitialized value 'y'" } */
}
float test_divide_rhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return x / y; /* { dg-warning "use of uninitialized value 'y'" } */
}
float test_divide_lhs (float x)
{
float y; /* { dg-message "region created on stack here" } */
return y / x; /* { dg-warning "use of uninitialized value 'y'" } */
}
size_t test_builtin_strlen (void)
{
const char *ptr; /* { dg-message "region created on stack here" } */
return __builtin_strlen (ptr); /* { dg-warning "use of uninitialized value 'ptr'" } */
}
|