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 101 const int glob_arr_no_init[10]; 102 void glob_arr_index4() { 103 // FIXME: Should warn {{FALSE}}, since the array has a static storage. 104 clang_analyzer_eval(glob_arr_no_init[2]); // expected-warning{{UNKNOWN}} 105 } 106 107 const int glob_arr3[]; // IncompleteArrayType 108 const int glob_arr3[4] = {1, 2, 3}; // ConstantArrayType 109 void glob_arr_index5() { 110 clang_analyzer_eval(glob_arr3[0] == 1); // expected-warning{{TRUE}} 111 clang_analyzer_eval(glob_arr3[1] == 2); // expected-warning{{TRUE}} 112 clang_analyzer_eval(glob_arr3[2] == 3); // expected-warning{{TRUE}} 113 clang_analyzer_eval(glob_arr3[3] == 0); // expected-warning{{TRUE}} 114 } 115 116 void glob_invalid_index5() { 117 int x = 42; 118 int res = glob_arr3[x]; // expected-warning{{garbage or undefined}} 119 } 120 121 void glob_invalid_index6() { 122 int x = -42; 123 int res = glob_arr3[x]; // expected-warning{{garbage or undefined}} 124 } 125 126 const int glob_arr4[]; // IncompleteArrayType 127 const int glob_arr4[4] = {1, 2, 3}; // ConstantArrayType 128 const int glob_arr4[]; // ConstantArrayType (according to AST) 129 void glob_arr_index6() { 130 clang_analyzer_eval(glob_arr4[0] == 1); // expected-warning{{TRUE}} 131 clang_analyzer_eval(glob_arr4[1] == 2); // expected-warning{{TRUE}} 132 clang_analyzer_eval(glob_arr4[2] == 3); // expected-warning{{TRUE}} 133 clang_analyzer_eval(glob_arr4[3] == 0); // expected-warning{{TRUE}} 134 } 135 136 void glob_invalid_index7() { 137 int x = 42; 138 int res = glob_arr4[x]; // expected-warning{{garbage or undefined}} 139 } 140 141 void glob_invalid_index8() { 142 int x = -42; 143 int res = glob_arr4[x]; // expected-warning{{garbage or undefined}} 144 } 145