Lines Matching full:warning
21 clang_analyzer_eval(t == 1); // expected-warning{{TRUE}} in testAdjustment()
24 clang_analyzer_eval(t > 1); // expected-warning{{TRUE}} in testAdjustment()
25 clang_analyzer_eval(t + 2 <= 11); // expected-warning{{TRUE}} in testAdjustment()
26 clang_analyzer_eval(t > 2); // expected-warning{{UNKNOWN}} in testAdjustment()
27 clang_analyzer_eval(t + 1 == 3); // expected-warning{{UNKNOWN}} in testAdjustment()
28 clang_analyzer_eval(t + 1 == 10); // expected-warning{{UNKNOWN}} in testAdjustment()
31 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testAdjustment()
39 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testUnknownVal()
42 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testUnknownVal()
45 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testUnknownVal()
53 clang_analyzer_warnIfReached(); // no-warning in testSwitchCond()
56 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testSwitchCond()
59 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testSwitchCond()
64 clang_analyzer_warnIfReached(); // no-warning in testSwitchCond()
67 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testSwitchCond()
68 clang_analyzer_eval(arg > 10); // expected-warning{{TRUE}} in testSwitchCond()
71 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testSwitchCond()
80 clang_analyzer_warnIfReached(); // no-warning in testDefaultUnreachable()
83 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDefaultUnreachable()
84 clang_analyzer_eval(arg > 10); // expected-warning{{TRUE}} in testDefaultUnreachable()
87 clang_analyzer_warnIfReached(); // no-warning in testDefaultUnreachable()
96 clang_analyzer_warnIfReached(); // no-warning in testBranchReachability()
99 clang_analyzer_warnIfReached(); // no-warning in testBranchReachability()
102 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testBranchReachability()
103 clang_analyzer_eval(arg > 10 && arg <= 15); // expected-warning{{TRUE}} in testBranchReachability()
106 clang_analyzer_warnIfReached(); // no-warning in testBranchReachability()
109 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testBranchReachability()
110 clang_analyzer_eval(arg >= 17 && arg < 20); // expected-warning{{TRUE}} in testBranchReachability()
113 clang_analyzer_warnIfReached(); // no-warning in testBranchReachability()
116 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testBranchReachability()
117 clang_analyzer_eval(arg == 16); // expected-warning{{TRUE}} in testBranchReachability()
126 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDefaultBranchRange()
129 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDefaultBranchRange()
130 clang_analyzer_eval(arg >= 20); // expected-warning{{TRUE}} in testDefaultBranchRange()
133 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDefaultBranchRange()
134 clang_analyzer_eval(arg == 16); // expected-warning{{FALSE}} in testDefaultBranchRange()
135 clang_analyzer_eval(arg > 9); // expected-warning{{TRUE}} in testDefaultBranchRange()
136 clang_analyzer_eval(arg <= 20); // expected-warning{{TRUE}} in testDefaultBranchRange()
139 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDefaultBranchRange()
147 clang_analyzer_warnIfReached(); // no-warning in testAllUnreachableButDefault()
150 clang_analyzer_warnIfReached(); // no-warning in testAllUnreachableButDefault()
153 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testAllUnreachableButDefault()
156 clang_analyzer_warnIfReached(); // no-warning in testAllUnreachableButDefault()
158 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testAllUnreachableButDefault()
166 clang_analyzer_warnIfReached(); // no-warning in testAllUnreachable()
169 clang_analyzer_warnIfReached(); // no-warning in testAllUnreachable()
172 clang_analyzer_warnIfReached(); // no-warning in testAllUnreachable()
174 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testAllUnreachable()
181 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDifferentTypes()
184 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDifferentTypes()
192 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDifferentTypes2()
195 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDifferentTypes2()
203 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDifferentTypes3()
206 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testDifferentTypes3()
214 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} in testConstant()
217 clang_analyzer_warnIfReached(); // no-warning in testConstant()