2011-03-17 11:06:07 +08:00
// RUN: %clang_cc1 -fsyntax-only -Wuninitialized -Wconditional-uninitialized -fsyntax-only -fblocks %s -verify
2011-01-15 10:58:47 +08:00
2011-08-24 04:30:50 +08:00
typedef __typeof ( sizeof ( int ) ) size_t ;
void * malloc ( size_t ) ;
2011-01-15 10:58:47 +08:00
int test1 ( ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-04-08 14:33:38 +08:00
return x ; // expected-warning{{variable 'x' is uninitialized when used here}}
2011-01-15 10:58:47 +08:00
}
int test2 ( ) {
int x = 0 ;
return x ; // no-warning
}
int test3 ( ) {
int x ;
x = 0 ;
return x ; // no-warning
}
int test4 ( ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-04-08 14:33:38 +08:00
+ + x ; // expected-warning{{variable 'x' is uninitialized when used here}}
2011-01-15 10:58:47 +08:00
return x ;
}
int test5 ( ) {
2011-09-10 13:35:08 +08:00
int x , y ; // expected-note{{initialize the variable 'y' to silence this warning}}
2011-04-08 14:33:38 +08:00
x = y ; // expected-warning{{variable 'y' is uninitialized when used here}}
2011-01-15 10:58:47 +08:00
return x ;
}
int test6 ( ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-04-08 14:33:38 +08:00
x + = 2 ; // expected-warning{{variable 'x' is uninitialized when used here}}
2011-01-15 10:58:47 +08:00
return x ;
}
int test7 ( int y ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-01-15 10:58:47 +08:00
if ( y )
x = 1 ;
2011-04-08 14:47:15 +08:00
return x ; // expected-warning{{variable 'x' may be uninitialized when used here}}
2011-01-15 10:58:47 +08:00
}
int test8 ( int y ) {
int x ;
if ( y )
x = 1 ;
else
x = 0 ;
2011-02-03 07:35:53 +08:00
return x ;
2011-01-15 10:58:47 +08:00
}
int test9 ( int n ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-01-15 10:58:47 +08:00
for ( unsigned i = 0 ; i < n ; + + i ) {
if ( i = = n - 1 )
break ;
2011-01-22 03:41:41 +08:00
x = 1 ;
2011-01-15 10:58:47 +08:00
}
2011-04-08 14:47:15 +08:00
return x ; // expected-warning{{variable 'x' may be uninitialized when used here}}
2011-01-15 10:58:47 +08:00
}
int test10 ( unsigned n ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-01-15 10:58:47 +08:00
for ( unsigned i = 0 ; i < n ; + + i ) {
x = 1 ;
}
2011-04-08 14:47:15 +08:00
return x ; // expected-warning{{variable 'x' may be uninitialized when used here}}
2011-01-15 10:58:47 +08:00
}
int test11 ( unsigned n ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-01-15 10:58:47 +08:00
for ( unsigned i = 0 ; i < = n ; + + i ) {
x = 1 ;
}
2011-04-08 14:47:15 +08:00
return x ; // expected-warning{{variable 'x' may be uninitialized when used here}}
2011-01-15 10:58:47 +08:00
}
void test12 ( unsigned n ) {
2011-09-10 13:35:08 +08:00
for ( unsigned i ; n ; + + i ) ; // expected-warning{{variable 'i' is uninitialized when used here}} expected-note{{initialize the variable 'i' to silence this warning}}
2011-01-15 10:58:47 +08:00
}
int test13 ( ) {
static int i ;
return i ; // no-warning
}
2011-01-18 12:53:25 +08:00
// Simply don't crash on this test case.
void test14 ( ) {
const char * p = 0 ;
for ( ; ; ) { }
}
2011-10-14 02:50:06 +08:00
void test15 ( ) {
int x = x ; // no-warning: signals intended lack of initialization.
}
int test15b ( ) {
// Warn here with the self-init, since it does result in a use of
// an unintialized variable and this is the root cause.
int x = x ; // expected-warning {{variable 'x' is uninitialized when used within its own initialization}}
return x ;
2011-01-18 12:53:25 +08:00
}
2011-01-15 10:58:47 +08:00
2011-01-18 12:53:25 +08:00
// Don't warn in the following example; shows dataflow confluence.
char * test16_aux ( ) ;
void test16 ( ) {
char * p = test16_aux ( ) ;
for ( unsigned i = 0 ; i < 100 ; i + + )
p [ i ] = ' a ' ; // no-warning
}
2011-01-19 05:18:58 +08:00
void test17 ( ) {
// Don't warn multiple times about the same uninitialized variable
// along the same path.
2011-09-10 13:35:08 +08:00
int * x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-04-08 14:33:38 +08:00
* x = 1 ; // expected-warning{{variable 'x' is uninitialized when used here}}
2011-01-19 05:18:58 +08:00
* x = 1 ; // no-warning
}
2011-01-21 01:37:17 +08:00
int test18 ( int x , int y ) {
int z ;
if ( x & & y & & ( z = 1 ) ) {
return z ; // no-warning
}
return 0 ;
}
int test19_aux1 ( ) ;
int test19_aux2 ( ) ;
int test19_aux3 ( int * x ) ;
int test19 ( ) {
int z ;
if ( test19_aux1 ( ) + test19_aux2 ( ) & & test19_aux1 ( ) & & test19_aux3 ( & z ) )
return z ; // no-warning
return 0 ;
}
int test20 ( ) {
2011-09-10 13:35:08 +08:00
int z ; // expected-note{{initialize the variable 'z' to silence this warning}}
2011-01-21 01:37:17 +08:00
if ( ( test19_aux1 ( ) + test19_aux2 ( ) & & test19_aux1 ( ) ) | | test19_aux3 ( & z ) )
2011-04-08 14:47:15 +08:00
return z ; // expected-warning{{variable 'z' may be uninitialized when used here}}
2011-01-21 01:37:17 +08:00
return 0 ;
}
int test21 ( int x , int y ) {
2011-09-10 13:35:08 +08:00
int z ; // expected-note{{initialize the variable 'z' to silence this warning}}
2011-01-21 01:37:17 +08:00
if ( ( x & & y ) | | test19_aux3 ( & z ) | | test19_aux2 ( ) )
2011-04-08 14:47:15 +08:00
return z ; // expected-warning{{variable 'z' may be uninitialized when used here}}
2011-01-21 01:37:17 +08:00
return 0 ;
}
int test22 ( ) {
int z ;
while ( test19_aux1 ( ) + test19_aux2 ( ) & & test19_aux1 ( ) & & test19_aux3 ( & z ) )
return z ; // no-warning
return 0 ;
}
int test23 ( ) {
int z ;
for ( ; test19_aux1 ( ) + test19_aux2 ( ) & & test19_aux1 ( ) & & test19_aux3 ( & z ) ; )
return z ; // no-warning
return 0 ;
}
// The basic uninitialized value analysis doesn't have enough path-sensitivity
// to catch initializations relying on control-dependencies spanning multiple
// conditionals. This possibly can be handled by making the CFG itself
// represent such control-dependencies, but it is a niche case.
int test24 ( int flag ) {
2011-09-10 13:35:08 +08:00
unsigned val ; // expected-note{{initialize the variable 'val' to silence this warning}}
2011-01-21 01:37:17 +08:00
if ( flag )
val = 1 ;
if ( ! flag )
val = 1 ;
2011-04-08 14:47:15 +08:00
return val ; // expected-warning{{variable 'val' may be uninitialized when used here}}
2011-01-21 01:37:17 +08:00
}
2011-01-22 06:49:49 +08:00
float test25 ( ) {
2011-09-10 13:35:08 +08:00
float x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-04-08 14:33:38 +08:00
return x ; // expected-warning{{variable 'x' is uninitialized when used here}}
2011-01-22 06:49:49 +08:00
}
typedef int MyInt ;
MyInt test26 ( ) {
2011-09-10 13:35:08 +08:00
MyInt x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-04-08 14:33:38 +08:00
return x ; // expected-warning{{variable 'x' is uninitialized when used here}}
2011-01-22 06:49:49 +08:00
}
2011-01-24 01:53:04 +08:00
// Test handling of sizeof().
int test27 ( ) {
struct test_27 { int x ; } * y ;
return sizeof ( y - > x ) ; // no-warning
}
int test28 ( ) {
2011-09-10 13:35:08 +08:00
int len ; // expected-note{{initialize the variable 'len' to silence this warning}}
2011-04-08 14:33:38 +08:00
return sizeof ( int [ len ] ) ; // expected-warning{{variable 'len' is uninitialized when used here}}
2011-01-24 01:53:04 +08:00
}
2011-01-26 03:13:48 +08:00
void test29 ( ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-04-08 14:33:38 +08:00
( void ) ^ { ( void ) x ; } ; // expected-warning{{variable 'x' is uninitialized when captured by block}}
2011-01-26 03:13:48 +08:00
}
void test30 ( ) {
static int x ; // no-warning
( void ) ^ { ( void ) x ; } ;
}
void test31 ( ) {
__block int x ; // no-warning
( void ) ^ { ( void ) x ; } ;
}
int test32_x ;
void test32 ( ) {
( void ) ^ { ( void ) test32_x ; } ; // no-warning
}
2011-01-26 12:49:43 +08:00
void test_33 ( ) {
int x ; // no-warning
( void ) x ;
}
int test_34 ( ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-01-26 12:49:43 +08:00
( void ) x ;
2011-04-08 14:33:38 +08:00
return x ; // expected-warning{{variable 'x' is uninitialized when used here}}
2011-01-26 12:49:43 +08:00
}
2011-01-27 10:29:34 +08:00
// Test that this case doesn't crash.
void test35 ( int x ) {
__block int y = 0 ;
^ { y = ( x = = 0 ) ; } ( ) ;
}
2011-01-28 02:51:39 +08:00
// Test handling of indirect goto.
void test36 ( )
{
2011-09-10 13:35:08 +08:00
void * * pc ; // expected-note{{initialize the variable 'pc' to silence this warning}}
2011-01-28 02:51:39 +08:00
void * dummy [ ] = { & & L1 , & & L2 } ;
L1 :
2011-07-22 13:27:52 +08:00
goto * pc ; // expected-warning{{variable 'pc' is uninitialized when used here}}
2011-01-28 02:51:39 +08:00
L2 :
goto * pc ;
}
2011-02-02 01:43:18 +08:00
// Test && nested in ||.
int test37_a ( ) ;
int test37_b ( ) ;
int test37 ( )
{
int identifier ;
if ( ( test37_a ( ) & & ( identifier = 1 ) ) | |
( test37_b ( ) & & ( identifier = 2 ) ) ) {
return identifier ; // no-warning
}
return 0 ;
}
// Test merging of path-specific dataflow values (without asserting).
int test38 ( int r , int x , int y )
{
int z ;
return ( ( r < 0 ) | | ( ( r = = 0 ) & & ( x < y ) ) ) ;
}
2011-03-15 11:17:01 +08:00
int test39 ( int x ) {
2011-09-10 13:35:08 +08:00
int y ; // expected-note{{initialize the variable 'y' to silence this warning}}
2011-04-08 14:33:38 +08:00
int z = x + y ; // expected-warning {{variable 'y' is uninitialized when used here}}
2011-03-15 11:17:01 +08:00
return z ;
}
int test40 ( int x ) {
2011-09-10 13:35:08 +08:00
int y ; // expected-note{{initialize the variable 'y' to silence this warning}}
2011-04-08 14:33:38 +08:00
return x ? 1 : y ; // expected-warning {{variable 'y' is uninitialized when used here}}
2011-03-15 11:17:01 +08:00
}
int test41 ( int x ) {
2011-09-10 13:35:08 +08:00
int y ; // expected-note{{initialize the variable 'y' to silence this warning}}
2011-03-15 11:17:01 +08:00
if ( x ) y = 1 ; // no-warning
2011-04-08 14:47:15 +08:00
return y ; // expected-warning {{variable 'y' may be uninitialized when used here}}
2011-03-15 11:17:01 +08:00
}
void test42 ( ) {
int a ;
a = 30 ; // no-warning
}
void test43_aux ( int x ) ;
void test43 ( int i ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note{{initialize the variable 'x' to silence this warning}}
2011-03-15 11:17:01 +08:00
for ( i = 0 ; i < 10 ; i + + )
2011-07-22 13:27:52 +08:00
test43_aux ( x + + ) ; // expected-warning {{variable 'x' is uninitialized when used here}}
2011-03-15 11:17:01 +08:00
}
void test44 ( int i ) {
int x = i ;
2011-09-10 13:35:08 +08:00
int y ; // expected-note{{initialize the variable 'y' to silence this warning}}
2011-03-15 11:17:01 +08:00
for ( i = 0 ; i < 10 ; i + + ) {
test43_aux ( x + + ) ; // no-warning
2011-07-22 13:27:52 +08:00
x + = y ; // expected-warning {{variable 'y' is uninitialized when used here}}
2011-03-15 11:17:01 +08:00
}
}
int test45 ( int j ) {
int x = 1 , y = x + 1 ;
if ( y ) // no-warning
return x ;
return y ;
}
void test46 ( )
{
2011-09-10 13:35:08 +08:00
int i ; // expected-note{{initialize the variable 'i' to silence this warning}}
2011-04-08 14:33:38 +08:00
int j = i ? : 1 ; // expected-warning {{variable 'i' is uninitialized when used here}}
2011-03-15 11:17:01 +08:00
}
void * test47 ( int * i )
{
return i ? : 0 ; // no-warning
}
void * test49 ( int * i )
{
int a ;
return & a ? : i ; // no-warning
}
void test50 ( )
{
char c [ 1 ? : 2 ] ; // no-warning
}
2011-04-01 06:32:41 +08:00
int test51 ( void )
{
__block int a ;
^ ( void ) {
a = 42 ;
} ( ) ;
return a ; // no-warning
}
2011-05-11 06:10:35 +08:00
// FIXME: This is a false positive, but it tests logical operations in switch statements.
int test52 ( int a , int b ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note {{initialize the variable 'x' to silence this warning}}
2011-05-11 06:10:35 +08:00
switch ( a | | b ) { // expected-warning {{switch condition has boolean value}}
case 0 :
x = 1 ;
break ;
case 1 :
x = 2 ;
break ;
}
return x ; // expected-warning {{variable 'x' may be uninitialized when used here}}
}
2011-07-17 06:27:02 +08:00
2011-07-20 04:33:49 +08:00
void test53 ( ) {
2011-09-10 13:35:08 +08:00
int x ; // expected-note {{initialize the variable 'x' to silence this warning}}
2011-07-20 05:41:51 +08:00
int y = ( x ) ; // expected-warning {{variable 'x' is uninitialized when used here}}
2011-07-20 04:33:49 +08:00
}
2011-07-17 06:27:02 +08:00
// This CFG caused the uninitialized values warning to inf-loop.
extern int PR10379_g ( ) ;
void PR10379_f ( int * len ) {
2011-09-10 13:35:08 +08:00
int new_len ; // expected-note{{initialize the variable 'new_len' to silence this warning}}
2011-07-17 06:27:02 +08:00
for ( int i = 0 ; i < 42 & & PR10379_g ( ) = = 0 ; i + + ) {
if ( PR10379_g ( ) = = 1 )
continue ;
if ( PR10379_g ( ) = = 2 )
PR10379_f ( & new_len ) ;
else if ( PR10379_g ( ) = = 3 )
PR10379_f ( & new_len ) ;
* len + = new_len ; // expected-warning {{variable 'new_len' may be uninitialized when used here}}
}
}
2011-08-24 04:30:50 +08:00
// Test that sizeof(VLA) doesn't trigger a warning.
void test_vla_sizeof ( int x ) {
double ( * memory ) [ 2 ] [ x ] = malloc ( sizeof ( * memory ) ) ; // no-warning
}
2011-09-03 03:39:26 +08:00
// Test absurd case of deadcode + use of blocks. This previously was a false positive
// due to an analysis bug.
int test_block_and_dead_code ( ) {
__block int x ;
^ { x = 1 ; } ( ) ;
if ( 0 )
return x ;
return x ; // no-warning
}
2011-10-07 08:42:48 +08:00
// This previously triggered an infinite loop in the analysis.
void PR11069 ( int a , int b ) {
unsigned long flags ;
for ( ; ; ) {
if ( a & & ! b )
break ;
}
for ( ; ; ) {
// This does not trigger a warning because it isn't a real use.
( void ) ( flags ) ; // no-warning
}
}
2011-10-07 08:52:56 +08:00
// Test uninitialized value used in loop condition.
void rdar9432305 ( float * P ) {
int i ; // expected-note {{initialize the variable 'i' to silence this warning}}
for ( ; i < 10000 ; + + i ) // expected-warning {{variable 'i' is uninitialized when used here}}
P [ i ] = 0.0f ;
}
2011-10-07 08:42:48 +08:00