96 lines · cpp
1// RUN: %clang_cc1 -fsanitize=memory -O0 -fsanitize-memory-use-after-dtor -std=c++11 -triple=x86_64-pc-linux -emit-llvm -debug-info-kind=line-tables-only -o - %s | FileCheck %s --implicit-check-not="call void @__sanitizer_"2// RUN: %clang_cc1 -fsanitize=memory -O1 -disable-llvm-passes -fsanitize-memory-use-after-dtor -std=c++11 -triple=x86_64-pc-linux -emit-llvm -debug-info-kind=line-tables-only -o - %s | FileCheck %s --implicit-check-not="call void @__sanitizer_"3 4template <class T>5class Vector {6public:7 int size;8 ~Vector() {9 size += 1;10 }11};12 13struct Base {14 int b1;15 double b2;16 Base() {17 b1 = 5;18 b2 = 10.989;19 }20 virtual ~Base() {}21};22 23struct VirtualBase {24 int vb1;25 int vb2;26 VirtualBase() {27 vb1 = 10;28 vb2 = 11;29 }30 virtual ~VirtualBase() {}31};32 33struct Derived : public Base, public virtual VirtualBase {34 int d1;35 Vector<int> v;36 int d2;37 Derived() {38 d1 = 10;39 }40 ~Derived() {}41};42 43Derived d;44 45// Destruction order:46// Derived: int, Vector, Base, VirtualBase47 48// CHECK-LABEL: define {{.*}}ZN7DerivedD1Ev49// CHECK: call void {{.*}}ZN11VirtualBaseD2Ev50// CHECK: call void @__sanitizer_dtor_callback_vptr({{.*}}){{.*}}, !dbg ![[DI0:[0-9]+]]51// CHECK: ret void52 53// CHECK-LABEL: define {{.*}}ZN7DerivedD0Ev54// CHECK: ret void55 56// CHECK-LABEL: define {{.*}}ZN11VirtualBaseD1Ev57// CHECK: ret void58 59// CHECK-LABEL: define {{.*}}ZN11VirtualBaseD0Ev60// CHECK: ret void61 62// poison 2 ints63// CHECK-LABEL: define {{.*}}ZN11VirtualBaseD2Ev64// CHECK: call void @__sanitizer_dtor_callback_fields({{.*}}, i64 8){{.*}}, !dbg ![[DI1:[0-9]+]]65// CHECK: call void @__sanitizer_dtor_callback_vptr({{.*}}){{.*}}{{.*}}, !dbg ![[DI2:[0-9]+]]66// CHECK: ret void67 68// poison int and double69// CHECK-LABEL: define {{.*}}ZN4BaseD2Ev70// CHECK: call void @__sanitizer_dtor_callback_fields({{.*}}, i64 16){{.*}}, !dbg ![[DI3:[0-9]+]]71// CHECK: call void @__sanitizer_dtor_callback_vptr({{.*}}{{.*}}, !dbg ![[DI4:[0-9]+]]72// CHECK: ret void73 74// poison int, ignore vector, poison int75// CHECK-LABEL: define {{.*}}ZN7DerivedD2Ev76// CHECK: call void @__sanitizer_dtor_callback_fields({{.*}}, i64 4){{.*}}, !dbg ![[DI5:[0-9]+]]77// CHECK: call void {{.*}}ZN6VectorIiED1Ev78// CHECK: call void @__sanitizer_dtor_callback_fields({{.*}}, i64 4){{.*}}, !dbg ![[DI6:[0-9]+]]79// CHECK: call void {{.*}}ZN4BaseD2Ev80// CHECK: ret void81 82// poison int83// CHECK-LABEL: define {{.*}}ZN6VectorIiED2Ev84// CHECK: call void @__sanitizer_dtor_callback_fields({{.*}}, i64 4){{.*}}, !dbg ![[DI7:[0-9]+]]85// CHECK: ret void86 87// CHECK-LABEL: !DIFile{{.*}}.cpp88 89// CHECK-DAG: ![[DI0]] = {{.*}}line: [[@LINE-49]]90// CHECK-DAG: ![[DI1]] = {{.*}}line: [[@LINE-66]]91// CHECK-DAG: ![[DI2]] = {{.*}}line: [[@LINE-61]]92// CHECK-DAG: ![[DI3]] = {{.*}}line: [[@LINE-78]]93// CHECK-DAG: ![[DI5]] = {{.*}}line: [[@LINE-57]]94// CHECK-DAG: ![[DI6]] = {{.*}}line: [[@LINE-60]]95// CHECK-DAG: ![[DI7]] = {{.*}}line: [[@LINE-88]]96