1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config ipa=dynamic-bifurcate -verify %s
2 
3 void clang_analyzer_eval(bool);
4 
5 class A {
6 public:
7   virtual int get() { return 0; }
8 };
9 
10 void testBifurcation(A *a) {
11   clang_analyzer_eval(a->get() == 0); // expected-warning{{TRUE}} expected-warning{{UNKNOWN}}
12 }
13 
14 void testKnown() {
15   A a;
16   clang_analyzer_eval(a.get() == 0); // expected-warning{{TRUE}}
17 }
18 
19 
20 namespace ReinterpretDisruptsDynamicTypeInfo {
21   class Parent {};
22 
23   class Child : public Parent {
24   public:
25     virtual int foo() { return 42; }
26   };
27 
28   void test(Parent *a) {
29     Child *b = reinterpret_cast<Child *>(a);
30     if (!b) return;
31     clang_analyzer_eval(b->foo() == 42); // expected-warning{{UNKNOWN}}
32   }
33 }
34