| // RUN: %clang_cc1 -analyze -std=c++11 -analyzer-checker=debug.ExprInspection %s |
| |
| void clang_analyzer_eval(bool); |
| |
| enum class Foo { |
| Zero |
| }; |
| |
| bool pr15703(int x) { |
| return Foo::Zero == (Foo)x; // don't crash |
| } |
| |
| void testCasting(int i) { |
| Foo f = static_cast<Foo>(i); |
| int j = static_cast<int>(f); |
| if (i == 0) |
| { |
| clang_analyzer_eval(f == Foo::Zero); // expected-warning{{TRUE}} |
| clang_analyzer_eval(j == 0); // expected-warning{{TRUE}} |
| } |
| else |
| { |
| clang_analyzer_eval(f == Foo::Zero); // expected-warning{{FALSE}} |
| clang_analyzer_eval(j == 0); // expected-warning{{FALSE}} |
| } |
| } |