blob: a191bec3cfb1bd9af9ff0c4b620357cc29491620 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// RUN: clang-cc -analyze -checker-cfref --analyzer-store=basic -analyzer-constraints=range --verify -fblocks %s &&
// RUN: clang-cc -analyze -checker-cfref --analyzer-store=region -analyzer-constraints=range --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
}
|