dyn-dispatch-bifurcate.cpp revision fe3769dbb448edf8e5ece13b14017608558d4763 
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