blob: e738964194d9b4f9503bb406ba417bc7a1508f42 (
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
|
// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-checker=core.DeadStores -warn-uninit-values -verify %s
void f1()
{
int i;
int j = i ? : 1; // expected-warning{{use of uninitialized variable}} //expected-warning{{Value stored to 'j' during its initialization is never read}}
}
void *f2(int *i)
{
return i ? : 0;
}
void *f3(int *i)
{
int a;
return &a ? : i;
}
void f4()
{
char c[1 ? : 2];
}
|