Home | History | Annotate | Download | only in Analysis

Lines Matching full:warning

24   switch (sockaddr->sa_family) { // no-warning
85 return 5/y; // This code should be unreachable: no-warning.
91 clang_analyzer_eval(0); // expected-warning{{FALSE}}
92 clang_analyzer_eval(0U); // expected-warning{{FALSE}}
93 clang_analyzer_eval((void *)0); // expected-warning{{FALSE}}
95 clang_analyzer_eval(1); // expected-warning{{TRUE}}
96 clang_analyzer_eval(1U); // expected-warning{{TRUE}}
97 clang_analyzer_eval(-1); // expected-warning{{TRUE}}
98 clang_analyzer_eval(0x100); // expected-warning{{TRUE}}
99 clang_analyzer_eval(0x100U); // expected-warning{{TRUE}}
100 clang_analyzer_eval((void *)0x100); // expected-warning{{TRUE}}
103 clang_analyzer_eval(symbolicInt); // expected-warning{{UNKNOWN}}
105 clang_analyzer_eval(symbolicInt); // expected-warning{{TRUE}}
108 clang_analyzer_eval(symbolicPointer); // expected-warning{{UNKNOWN}}
110 clang_analyzer_eval(symbolicPointer); // expected-warning{{TRUE}}
114 clang_analyzer_eval(ptr); // expected-warning{{TRUE}}
115 clang_analyzer_eval(&castsToBool); // expected-warning{{TRUE}}
116 clang_analyzer_eval("abc"); // expected-warning{{TRUE}}
119 clang_analyzer_eval(globalFloat); // expected-warning{{UNKNOWN}}