39 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config ipa=dynamic-bifurcate -verify -Wno-reinterpret-base-class -analyzer-config eagerly-assume=false %s2 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 19void testNew() {20 A *a = new A();21 clang_analyzer_eval(a->get() == 0); // expected-warning{{TRUE}}22}23 24 25namespace ReinterpretDisruptsDynamicTypeInfo {26 class Parent {};27 28 class Child : public Parent {29 public:30 virtual int foo() { return 42; }31 };32 33 void test(Parent *a) {34 Child *b = reinterpret_cast<Child *>(a);35 if (!b) return;36 clang_analyzer_eval(b->foo() == 42); // expected-warning{{UNKNOWN}}37 }38}39