3 struct Base {  struct
4     virtual ~Base() = default;
7 struct Derived : public Base {};
13 Base *create() {  in create()
14     Base *b = new Derived[3]; // expected-note{{Casting from 'Derived' to 'Base' here}}  in create()
18 void sink(Base *b) {  in sink()
19 …/ expected-warning{{Deleting an array of 'Derived' objects as their base class 'Base' is undefined…  in sink()
20 …// expected-note@-1{{Deleting an array of 'Derived' objects as their base class 'Base' is undefine…  in sink()
23 void sink_cast(Base *b) {  in sink_cast()
32     Base *sd = new Derived[10]; // expected-note{{Casting from 'Derived' to 'Base' here}}  in same_function()
33 …/ expected-warning{{Deleting an array of 'Derived' objects as their base class 'Base' is undefined…  in same_function()
34 …// expected-note@-1{{Deleting an array of 'Derived' objects as their base class 'Base' is undefine…  in same_function()
36 …  Base *dd = new DoubleDerived[10]; // expected-note{{Casting from 'DoubleDerived' to 'Base' here}}  in same_function()
37 …cted-warning{{Deleting an array of 'DoubleDerived' objects as their base class 'Base' is undefined…  in same_function()
38 …// expected-note@-1{{Deleting an array of 'DoubleDerived' objects as their base class 'Base' is un…  in same_function()
42     Base *assigned = get(); // expected-note{{Casting from 'Derived' to 'Base' here}}  in different_function()
43 …/ expected-warning{{Deleting an array of 'Derived' objects as their base class 'Base' is undefined…  in different_function()
44 …// expected-note@-1{{Deleting an array of 'Derived' objects as their base class 'Base' is undefine…  in different_function()
46     Base *indirect;  in different_function()
47     indirect = get(); // expected-note{{Casting from 'Derived' to 'Base' here}}  in different_function()
48 …/ expected-warning{{Deleting an array of 'Derived' objects as their base class 'Base' is undefined…  in different_function()
49 …// expected-note@-1{{Deleting an array of 'Derived' objects as their base class 'Base' is undefine…  in different_function()
51     Base *created = create(); // expected-note{{Calling 'create'}}  in different_function()
53 …/ expected-warning{{Deleting an array of 'Derived' objects as their base class 'Base' is undefined…  in different_function()
54 …// expected-note@-1{{Deleting an array of 'Derived' objects as their base class 'Base' is undefine…  in different_function()
56     Base *sb = new Derived[10]; // expected-note{{Casting from 'Derived' to 'Base' here}}  in different_function()
64     Base *b = new Derived[10];  in safe_function()
67     Base *sb = new Derived[10];  in safe_function()
75     Base *b = new DoubleDerived[10]; // expected-note{{Casting from 'DoubleDerived' to 'Base' here}}  in multiple_derived()
76 …cted-warning{{Deleting an array of 'DoubleDerived' objects as their base class 'Base' is undefined…  in multiple_derived()
77 …// expected-note@-1{{Deleting an array of 'DoubleDerived' objects as their base class 'Base' is un…  in multiple_derived()
79 …  Base *b2 = new DoubleDerived[10]; // expected-note{{Casting from 'DoubleDerived' to 'Base' here}}  in multiple_derived()
80 … Derived *d2 = static_cast<Derived*>(b2); // expected-note{{Casting from 'Base' to 'Derived' here}}  in multiple_derived()
81 …delete[] d2; // expected-warning{{Deleting an array of 'DoubleDerived' objects as their base class…  in multiple_derived()
82 …// expected-note@-1{{Deleting an array of 'DoubleDerived' objects as their base class 'Derived' is…  in multiple_derived()
85     Base *b3 = d3; // expected-note{{Casting from 'Derived' to 'Base' here}}  in multiple_derived()
86 …cted-warning{{Deleting an array of 'DoubleDerived' objects as their base class 'Base' is undefined…  in multiple_derived()
87 …// expected-note@-1{{Deleting an array of 'DoubleDerived' objects as their base class 'Base' is un…  in multiple_derived()
89     Base *b4 = new DoubleDerived[10];  in multiple_derived()
94 …  Base *b5 = new DoubleDerived[10]; // expected-note{{Casting from 'DoubleDerived' to 'Base' here}}  in multiple_derived()
95 …DoubleDerived *dd5 = static_cast<DoubleDerived*>(b5); // expected-note{{Casting from 'Base' to 'Do…  in multiple_derived()
97 …delete[] d5; // expected-warning{{Deleting an array of 'DoubleDerived' objects as their base class…  in multiple_derived()
98 …// expected-note@-1{{Deleting an array of 'DoubleDerived' objects as their base class 'Derived' is…  in multiple_derived()
102     Base *b = new DoubleDerived[10]; // expected-note{{Casting from 'DoubleDerived' to 'Base' here}}  in unrelated_casts()
103     Base &b2 = *b; // no-note: See the FIXME.  in unrelated_casts()
109 …delete[] d; // expected-warning{{Deleting an array of 'DoubleDerived' objects as their base class …  in unrelated_casts()
110 …// expected-note@-1{{Deleting an array of 'DoubleDerived' objects as their base class 'Derived' is…  in unrelated_casts()