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