1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG %s 2>&1 | FileCheck %s
8 class B : public virtual A {
13 class C : public virtual A {
18 class TestOrder : public C, public B, public virtual A {
26 TestOrder::~TestOrder() {}
35 TestArray::~TestArray() {}
37 // CHECK: [B2 (ENTRY)]
38 // CHECK: Succs (1): B1
40 // CHECK: 1: this->a.~A() (Member object destructor)
41 // CHECK: 2: ~B() (Base object destructor)
42 // CHECK: 3: ~C() (Base object destructor)
43 // CHECK: 4: ~A() (Base object destructor)
44 // CHECK: Preds (1): B2
45 // CHECK: Succs (1): B0
47 // CHECK: Preds (1): B1
48 // CHECK: [B2 (ENTRY)]
49 // CHECK: Succs (1): B1
51 // CHECK: 1: this->a.~A() (Member object destructor)
52 // CHECK: Preds (1): B2
53 // CHECK: Succs (1): B0
55 // CHECK: Preds (1): B1