2011-02-26 22:09:03 +00:00
|
|
|
// RUN: %clang_cc1 -analyze -analyzer-checker=core.DeadStores -warn-uninit-values -verify %s
|
2009-06-02 17:58:47 +00:00
|
|
|
|
|
|
|
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];
|
|
|
|
}
|
|
|
|
|