Home | History | Annotate | Download | only in Analysis

Lines Matching defs:local

25   int local = x - 1;
35 // Constant-folding will turn (local+1) back into the symbol for x.
40 clang_analyzer_eval((local + 1) >= 2); // expected-warning{{TRUE}}
41 clang_analyzer_eval(2 <= (local + 1)); // expected-warning{{TRUE}}
44 clang_analyzer_eval((local + 1) != 1); // expected-warning{{TRUE}}
45 clang_analyzer_eval(1 != (local + 1)); // expected-warning{{TRUE}}
50 signed char local = x - 1;
55 // Constant-folding will turn (local+1) back into the symbol for x.
64 clang_analyzer_eval((local + 1) < value); // expected-warning{{TRUE}}
65 clang_analyzer_eval(value > (local + 1)); // expected-warning{{TRUE}}
68 clang_analyzer_eval((local + 1) != value); // expected-warning{{TRUE}}
69 clang_analyzer_eval(value != (local + 1)); // expected-warning{{TRUE}}