Home | History | Annotate | Download | only in Analysis

Lines Matching full:unknown

79   clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}}
80 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}}
81 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}}
86 clang_analyzer_eval((a - 5) < (-0x81LL)); // expected-warning{{UNKNOWN}}
91 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}}
99 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}}
100 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}}
101 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}}
106 clang_analyzer_eval((a - 5) > 0LL); // expected-warning{{UNKNOWN}}
110 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}}
117 clang_analyzer_eval((a + 5) == 0LL); // expected-warning{{UNKNOWN}}
124 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}}
125 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}}
126 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}}
132 clang_analyzer_eval((a + 5) > 0x81LL); // expected-warning{{UNKNOWN}}
136 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}}
147 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}}
148 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}}
149 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}}
154 clang_analyzer_eval((a + 5) < 0LL); // expected-warning{{UNKNOWN}}
159 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}}
169 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}}
170 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}}
171 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}}