dyn-dispatch-bifurcate.cpp revision 19d5886d1704e24282c86217b09d5c6d35ba604d 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-ipa=dynamic-bifurcate -verify %s
2
3void clang_analyzer_eval(bool);
4
5class A {
6public:
7  virtual int get() { return 0; }
8};
9
10void testBifurcation(A *a) {
11  clang_analyzer_eval(a->get() == 0); // expected-warning{{TRUE}} expected-warning{{UNKNOWN}}
12}
13
14void testKnown() {
15  A a;
16  clang_analyzer_eval(a.get() == 0); // expected-warning{{TRUE}}
17}
18
19
20namespace 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{{TRUE}} expected-warning{{UNKNOWN}}
32  }
33}
34