1 // RUN: %clang_cc1 -triple i386-apple-darwin10 -analyze -analyzer-config eagerly-assume=false -analyzer-checker=core.uninitialized.Assign,debug.ExprInspection -verify %s 2 3 void clang_analyzer_eval(int); 4 5 void initbug() { 6 const union { float a; } u = {}; 7 (void)u.a; // no-crash 8 } 9 10 int const parr[2] = {1}; 11 void constarr() { 12 int i = 2; 13 clang_analyzer_eval(parr[i]); // expected-warning{{UNDEFINED}} 14 i = 1; 15 clang_analyzer_eval(parr[i] == 0); // expected-warning{{TRUE}} 16 i = -1; 17 clang_analyzer_eval(parr[i]); // expected-warning{{UNDEFINED}} 18 } 19 20 struct SM { 21 int a; 22 int b; 23 }; 24 const struct SM sm = {.a = 1}; 25 void multinit() { 26 clang_analyzer_eval(sm.a == 1); // expected-warning{{TRUE}} 27 clang_analyzer_eval(sm.b == 0); // expected-warning{{TRUE}} 28 } 29 30 const int glob_arr1[6] = {[2] = 3, [0] = 1, [1] = 2, [3] = 4}; 31 void glob_array_index1() { 32 clang_analyzer_eval(glob_arr1[0] == 1); // expected-warning{{TRUE}} 33 clang_analyzer_eval(glob_arr1[1] == 2); // expected-warning{{TRUE}} 34 clang_analyzer_eval(glob_arr1[2] == 3); // expected-warning{{TRUE}} 35 clang_analyzer_eval(glob_arr1[3] == 4); // expected-warning{{TRUE}} 36 clang_analyzer_eval(glob_arr1[4] == 0); // expected-warning{{TRUE}} 37 clang_analyzer_eval(glob_arr1[5] == 0); // expected-warning{{TRUE}} 38 } 39 40 void glob_array_index2() { 41 const int *ptr = glob_arr1; 42 clang_analyzer_eval(ptr[0] == 1); // expected-warning{{TRUE}} 43 clang_analyzer_eval(ptr[1] == 2); // expected-warning{{TRUE}} 44 clang_analyzer_eval(ptr[2] == 3); // expected-warning{{TRUE}} 45 clang_analyzer_eval(ptr[3] == 4); // expected-warning{{TRUE}} 46 clang_analyzer_eval(ptr[4] == 0); // expected-warning{{TRUE}} 47 clang_analyzer_eval(ptr[5] == 0); // expected-warning{{TRUE}} 48 } 49 50 void glob_invalid_index1() { 51 int x = -42; 52 int res = glob_arr1[x]; // expected-warning{{garbage or undefined}} 53 } 54 55 void glob_invalid_index2() { 56 const int *ptr = glob_arr1; 57 int x = 42; 58 int res = ptr[x]; // expected-warning{{garbage or undefined}} 59 } 60 61 // TODO: Support multidimensional array. 62 const int glob_arr2[3][3] = {[0][0] = 1, [1][1] = 5, [2][0] = 7}; 63 void glob_arr_index3() { 64 // FIXME: These all should be TRUE. 65 clang_analyzer_eval(glob_arr2[0][0] == 1); // expected-warning{{UNKNOWN}} 66 clang_analyzer_eval(glob_arr2[0][1] == 0); // expected-warning{{UNKNOWN}} 67 clang_analyzer_eval(glob_arr2[0][2] == 0); // expected-warning{{UNKNOWN}} 68 clang_analyzer_eval(glob_arr2[1][0] == 0); // expected-warning{{UNKNOWN}} 69 clang_analyzer_eval(glob_arr2[1][1] == 5); // expected-warning{{UNKNOWN}} 70 clang_analyzer_eval(glob_arr2[1][2] == 0); // expected-warning{{UNKNOWN}} 71 clang_analyzer_eval(glob_arr2[2][0] == 7); // expected-warning{{UNKNOWN}} 72 clang_analyzer_eval(glob_arr2[2][1] == 0); // expected-warning{{UNKNOWN}} 73 clang_analyzer_eval(glob_arr2[2][2] == 0); // expected-warning{{UNKNOWN}} 74 } 75 76 // TODO: Support multidimensional array. 77 void negative_index() { 78 int x = 2, y = -2; 79 // FIXME: Should be UNDEFINED. 80 clang_analyzer_eval(glob_arr2[x][y] == 5); // expected-warning{{UNKNOWN}} 81 x = 3; 82 y = -3; 83 // FIXME: Should be UNDEFINED. 84 clang_analyzer_eval(glob_arr2[x][y] == 7); // expected-warning{{UNKNOWN}} 85 } 86 87 // TODO: Support multidimensional array. 88 void glob_invalid_index3() { 89 int x = -1, y = -1; 90 // FIXME: Should warn {{garbage or undefined}}. 91 int res = glob_arr2[x][y]; // no-warning 92 } 93 94 // TODO: Support multidimensional array. 95 void glob_invalid_index4() { 96 int x = 3, y = 2; 97 // FIXME: Should warn {{garbage or undefined}}. 98 int res = glob_arr2[x][y]; // no-warning 99 } 100