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
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region -verify -fblocks %s
// <rdar://problem/6776949>
// main's 'argc' argument is always > 0
int main(int argc, char* argv[]) {
int *p = 0;
if (argc == 0)
*p = 1;
if (argc == 1)
return 1;
int x = 1;
int i;
for(i=1;i<argc;i++){
p = &x;
}
return *p; // no-warning
}
// PR 5969: the comparison of argc < 3 || argc > 4 should constraint the switch
// statement from having the 'default' branch taken. This previously reported a false
// positive with the use of 'v'.
int pr5969(int argc, char *argv[]) {
int v;
if ((argc < 3) || (argc > 4)) return 0;
switch(argc) {
case 3:
v = 33;
break;
case 4:
v = 44;
break;
}
return v; // no-warning
}
int pr5969_positive(int argc, char *argv[]) {
int v;
if ((argc < 3) || (argc > 4)) return 0;
switch(argc) {
case 3:
v = 33;
break;
}
return v; // expected-warning{{Undefined or garbage value returned to caller}}
}
|