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