240 lines · cpp
1// Test -fsanitize-address-field-padding2// RUN: echo 'type:SomeNamespace::IgnorelistedByName=field-padding' > %t.type.ignorelist3// RUN: echo 'src:*sanitize-address-field-padding.cpp=field-padding' > %t.file.ignorelist4// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsanitize=address -fsanitize-address-field-padding=1 -fsanitize-ignorelist=%t.type.ignorelist -Rsanitize-address -emit-llvm -o - %s 2>&1 | FileCheck %s5// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsanitize=address -fsanitize-address-field-padding=1 -fsanitize-ignorelist=%t.type.ignorelist -Rsanitize-address -emit-llvm -o - %s -mconstructor-aliases 2>&1 | FileCheck %s --check-prefix=WITH_CTOR_ALIASES6// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsanitize=address -fsanitize-address-field-padding=1 -fsanitize-ignorelist=%t.file.ignorelist -Rsanitize-address -emit-llvm -o - %s 2>&1 | FileCheck %s --check-prefix=FILE_IGNORELIST7// RUN: %clang_cc1 -fsanitize=address -emit-llvm -o - %s 2>&1 | FileCheck %s --check-prefix=NO_PADDING8// Try to emulate -save-temps option and make sure -disable-llvm-passes will not run sanitize instrumentation.9// RUN: %clang_cc1 -fsanitize=address -emit-llvm -disable-llvm-passes -o - %s | %clang_cc1 -fsanitize=address -emit-llvm -o - -x ir | FileCheck %s --check-prefix=NO_PADDING10//11 12// The reasons to ignore a particular class are not set in stone and will change.13//14// CHECK: -fsanitize-address-field-padding applied to Positive115// CHECK: -fsanitize-address-field-padding ignored for Negative1 because it is trivially copyable16// CHECK: -fsanitize-address-field-padding ignored for Negative2 because it is trivially copyable17// CHECK: -fsanitize-address-field-padding ignored for Negative3 because it is a union18// CHECK: -fsanitize-address-field-padding ignored for Negative4 because it is trivially copyable19// CHECK: -fsanitize-address-field-padding ignored for Negative5 because it is packed20// CHECK: -fsanitize-address-field-padding ignored for SomeNamespace::IgnorelistedByName because it is ignorelisted21// CHECK: -fsanitize-address-field-padding ignored for ExternCStruct because it is not C++22//23// FILE_IGNORELIST: -fsanitize-address-field-padding ignored for Positive1 because it is in a ignorelisted file24// FILE_IGNORELIST-NOT: __asan_poison_intra_object_redzone25// NO_PADDING-NOT: __asan_poison_intra_object_redzone26 27 28class Positive1 {29 public:30 Positive1() {}31 ~Positive1() {}32 int make_it_non_standard_layout;33 private:34 char private1;35 int private2;36 short private_array[6];37 long long private3;38};39 40Positive1 positive1;41// Positive1 with extra paddings42// CHECK: type { i32, [12 x i8], i8, [15 x i8], i32, [12 x i8], [6 x i16], [12 x i8], i64, [8 x i8] }43 44struct VirtualBase {45 int foo;46};47 48class ClassWithVirtualBase : public virtual VirtualBase {49 public:50 ClassWithVirtualBase() {}51 ~ClassWithVirtualBase() {}52 int make_it_non_standard_layout;53 private:54 char x[7];55 char y[9];56};57 58ClassWithVirtualBase class_with_virtual_base;59 60class WithFlexibleArray1 {61 public:62 WithFlexibleArray1() {}63 ~WithFlexibleArray1() {}64 int make_it_non_standard_layout;65 private:66 char private1[33];67 int flexible[]; // Don't insert padding after this field.68};69 70WithFlexibleArray1 with_flexible_array1;71// CHECK: %class.WithFlexibleArray1 = type { i32, [12 x i8], [33 x i8], [15 x i8], [0 x i32] }72 73class WithFlexibleArray2 {74 public:75 char x[21];76 WithFlexibleArray1 flex1; // Don't insert padding after this field.77};78 79WithFlexibleArray2 with_flexible_array2;80// CHECK: %class.WithFlexibleArray2 = type { [21 x i8], [11 x i8], %class.WithFlexibleArray1 }81 82class WithFlexibleArray3 {83 public:84 char x[13];85 WithFlexibleArray2 flex2; // Don't insert padding after this field.86};87 88WithFlexibleArray3 with_flexible_array3;89 90 91class Negative1 {92 public:93 Negative1() {}94 int public1, public2;95};96Negative1 negative1;97// CHECK: type { i32, i32 }98 99class Negative2 {100 public:101 Negative2() {}102 private:103 int private1, private2;104};105Negative2 negative2;106// CHECK: type { i32, i32 }107 108union Negative3 {109 char m1[8];110 long long m2;111};112 113Negative3 negative3;114// CHECK: type { i64 }115 116class Negative4 {117 public:118 Negative4() {}119 // No DTOR120 int make_it_non_standard_layout;121 private:122 char private1;123 int private2;124};125 126Negative4 negative4;127// CHECK: type { i32, i8, i32 }128 129class __attribute__((packed)) Negative5 {130 public:131 Negative5() {}132 ~Negative5() {}133 int make_it_non_standard_layout;134 private:135 char private1;136 int private2;137};138 139Negative5 negative5;140// CHECK: type <{ i32, i8, i32 }>141 142 143namespace SomeNamespace {144class IgnorelistedByName {145 public:146 IgnorelistedByName() {}147 ~IgnorelistedByName() {}148 int make_it_non_standard_layout;149 private:150 char private1;151 int private2;152};153} // SomeNamespace154 155SomeNamespace::IgnorelistedByName ignorelisted_by_name;156 157extern "C" {158class ExternCStruct {159 public:160 ExternCStruct() {}161 ~ExternCStruct() {}162 int make_it_non_standard_layout;163 private:164 char private1;165 int private2;166};167} // extern "C"168 169ExternCStruct extern_C_struct;170 171// CTOR172// CHECK-LABEL: define {{.*}}Positive1C1Ev173// CHECK: call void @__asan_poison_intra_object_redzone({{.*}}12)174// CHECK: call void @__asan_poison_intra_object_redzone({{.*}}15)175// CHECK: call void @__asan_poison_intra_object_redzone({{.*}}12)176// CHECK: call void @__asan_poison_intra_object_redzone({{.*}}12)177// CHECK: call void @__asan_poison_intra_object_redzone({{.*}}8)178// CHECK-NOT: __asan_poison_intra_object_redzone179// CHECK: ret void180//181// DTOR182// CHECK: call void @__asan_unpoison_intra_object_redzone({{.*}}12)183// CHECK: call void @__asan_unpoison_intra_object_redzone({{.*}}15)184// CHECK: call void @__asan_unpoison_intra_object_redzone({{.*}}12)185// CHECK: call void @__asan_unpoison_intra_object_redzone({{.*}}12)186// CHECK: call void @__asan_unpoison_intra_object_redzone({{.*}}8)187// CHECK-NOT: __asan_unpoison_intra_object_redzone188// CHECK: ret void189//190//191// CHECK-LABEL: define linkonce_odr void @_ZN20ClassWithVirtualBaseC1Ev192// CHECK: call void @__asan_poison_intra_object_redzone({{.*}} 12)193// CHECK: call void @__asan_poison_intra_object_redzone({{.*}} 9)194// CHECK: call void @__asan_poison_intra_object_redzone({{.*}} 15)195// CHECK-NOT: __asan_poison_intra_object_redzone196// CHECK: ret void197//198 199struct WithVirtualDtor {200 virtual ~WithVirtualDtor();201 int x, y;202};203struct InheritsFrom_WithVirtualDtor: WithVirtualDtor {204 int a, b;205 InheritsFrom_WithVirtualDtor() {}206 ~InheritsFrom_WithVirtualDtor() {}207};208 209void Create_InheritsFrom_WithVirtualDtor() {210 InheritsFrom_WithVirtualDtor x;211}212 213 214// Make sure the dtor of InheritsFrom_WithVirtualDtor remains in the code,215// i.e. we ignore -mconstructor-aliases when field paddings are added216// because the paddings in InheritsFrom_WithVirtualDtor needs to be unpoisoned217// in the dtor.218// WITH_CTOR_ALIASES-LABEL: define{{.*}} void @_Z35Create_InheritsFrom_WithVirtualDtor219// WITH_CTOR_ALIASES-NOT: call void @_ZN15WithVirtualDtorD2Ev220// WITH_CTOR_ALIASES: call void @_ZN28InheritsFrom_WithVirtualDtorD2Ev221// WITH_CTOR_ALIASES: ret void222 223// Make sure we don't emit memcpy for operator= if paddings are inserted.224struct ClassWithTrivialCopy {225 ClassWithTrivialCopy();226 ~ClassWithTrivialCopy();227 void *a;228 private:229 void *c;230};231 232void MakeTrivialCopy(ClassWithTrivialCopy *s1, ClassWithTrivialCopy *s2) {233 *s1 = *s2;234 ClassWithTrivialCopy s3(*s2);235}236 237// CHECK-LABEL: define{{.*}} void @_Z15MakeTrivialCopyP20ClassWithTrivialCopyS0_238// CHECK-NOT: memcpy239// CHECK: ret void240