[llvm-branch-commits] [clang] 452eddf - [NFC][CodeGen] Add sanitize-dtor-zero-size-field test

Vitaly Buka via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Sat Dec 5 16:48:13 PST 2020


Author: Vitaly Buka
Date: 2020-12-05T16:39:48-08:00
New Revision: 452eddf30bfcd0f8ade9796ef24b3e8773ef1618

URL: https://github.com/llvm/llvm-project/commit/452eddf30bfcd0f8ade9796ef24b3e8773ef1618
DIFF: https://github.com/llvm/llvm-project/commit/452eddf30bfcd0f8ade9796ef24b3e8773ef1618.diff

LOG: [NFC][CodeGen] Add sanitize-dtor-zero-size-field test

The test demonstrates invalid behaviour which will be fixed soon.

Added: 
    clang/test/CodeGenCXX/sanitize-dtor-zero-size-field.cpp

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/clang/test/CodeGenCXX/sanitize-dtor-zero-size-field.cpp b/clang/test/CodeGenCXX/sanitize-dtor-zero-size-field.cpp
new file mode 100644
index 000000000000..e876f93e49eb
--- /dev/null
+++ b/clang/test/CodeGenCXX/sanitize-dtor-zero-size-field.cpp
@@ -0,0 +1,378 @@
+// RUN: %clang_cc1 -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -disable-llvm-passes -std=c++20 -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s --implicit-check-not "call void @__sanitizer_dtor_callback"
+// RUN: %clang_cc1 -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -disable-llvm-passes -std=c++20 -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s --implicit-check-not "call void @__sanitizer_dtor_callback"
+
+// This test convers invalid behaviour which will be fixed in followup patches.
+
+struct Empty {};
+
+struct EmptyNonTrivial {
+  ~EmptyNonTrivial();
+};
+
+struct Trivial {
+  int a;
+  char c;
+};
+static_assert(sizeof(Trivial) == 8);
+
+struct NonTrivial {
+  int a;
+  char c;
+  ~NonTrivial();
+};
+static_assert(sizeof(NonTrivial) == 8);
+
+namespace T0 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  char f3;
+  ~Struct(){};
+} var;
+static_assert(sizeof(Struct) == 16);
+} // namespace T0
+// CHECK-LABEL: define {{.*}} @_ZN2T06StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 13)
+// CHECK-NEXT:    ret void
+
+namespace empty {
+namespace T1 {
+struct Struct {
+  NonTrivial nt;
+  Trivial f1;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T1
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T16StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 13)
+// CHECK-NEXT:    ret void
+
+namespace T2 {
+struct Struct {
+  Trivial f1;
+  NonTrivial nt;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T2
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T26StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 8)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 5)
+// CHECK-NEXT:    ret void
+
+namespace T3 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  NonTrivial nt;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T3
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T36StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 12)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 1)
+// CHECK-NEXT:    ret void
+
+namespace T4 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  char f3;
+  NonTrivial nt;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T4
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T46StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 16)
+// CHECK-NEXT:    ret void
+
+namespace T5 {
+struct Struct {
+  [[no_unique_address]] Empty e;
+  NonTrivial nt;
+  Trivial f1;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T5
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T56StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 13)
+// CHECK-NEXT:    ret void
+
+namespace T6 {
+struct Struct {
+  NonTrivial nt;
+  [[no_unique_address]] Empty e;
+  Trivial f1;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T6
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T66StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 21)
+// CHECK-NEXT:    ret void
+
+namespace T7 {
+struct Struct {
+  Trivial f1;
+  NonTrivial nt;
+  [[no_unique_address]] Empty e;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T7
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T76StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 8)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 21)
+// CHECK-NEXT:    ret void
+
+namespace T8 {
+struct Struct {
+  Trivial f1;
+  [[no_unique_address]] Empty e;
+  NonTrivial nt;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T8
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T86StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 8)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 5)
+// CHECK-NEXT:    ret void
+
+namespace T9 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  NonTrivial nt;
+  [[no_unique_address]] Empty e;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T9
+// CHECK-LABEL: define {{.*}} @_ZN5empty2T96StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 12)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 21)
+// CHECK-NEXT:    ret void
+
+namespace T10 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  [[no_unique_address]] Empty e;
+  NonTrivial nt;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T10
+// CHECK-LABEL: define {{.*}} @_ZN5empty3T106StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 12)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 1)
+// CHECK-NEXT:    ret void
+
+namespace T11 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  char f3;
+  NonTrivial nt;
+  [[no_unique_address]] Empty e;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T11
+// CHECK-LABEL: define {{.*}} @_ZN5empty3T116StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 16)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 24)
+// CHECK-NEXT:    ret void
+
+namespace T12 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  char f3;
+  [[no_unique_address]] Empty e;
+  NonTrivial nt;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T12
+} // namespace empty
+// CHECK-LABEL: define {{.*}} @_ZN5empty3T126StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 16)
+// CHECK-NEXT:    ret void
+
+namespace empty_non_trivial {
+namespace T1 {
+struct Struct {
+  NonTrivial nt;
+  Trivial f1;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T1
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T16StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 13)
+// CHECK-NEXT:    ret void
+
+namespace T2 {
+struct Struct {
+  Trivial f1;
+  NonTrivial nt;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T2
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T26StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 8)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 5)
+// CHECK-NEXT:    ret void
+
+namespace T3 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  NonTrivial nt;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T3
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T36StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 12)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 1)
+// CHECK-NEXT:    ret void
+
+namespace T4 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  char f3;
+  NonTrivial nt;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T4
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T46StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 16)
+// CHECK-NEXT:    ret void
+
+namespace T5 {
+struct Struct {
+  [[no_unique_address]] EmptyNonTrivial e;
+  NonTrivial nt;
+  Trivial f1;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T5
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T56StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 13)
+// CHECK-NEXT:    ret void
+
+namespace T6 {
+struct Struct {
+  NonTrivial nt;
+  [[no_unique_address]] EmptyNonTrivial e;
+  Trivial f1;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T6
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T66StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 13)
+// CHECK-NEXT:    ret void
+
+namespace T7 {
+struct Struct {
+  Trivial f1;
+  NonTrivial nt;
+  [[no_unique_address]] EmptyNonTrivial e;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T7
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T76StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 8)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 5)
+// CHECK-NEXT:    ret void
+
+namespace T8 {
+struct Struct {
+  Trivial f1;
+  [[no_unique_address]] EmptyNonTrivial e;
+  NonTrivial nt;
+  int f2;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T8
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T86StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 5)
+// CHECK-NEXT:    ret void
+
+namespace T9 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  NonTrivial nt;
+  [[no_unique_address]] EmptyNonTrivial e;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T9
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial2T96StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 12)
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 1)
+// CHECK-NEXT:    ret void
+
+namespace T10 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  [[no_unique_address]] EmptyNonTrivial e;
+  NonTrivial nt;
+  char f3;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T10
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial3T106StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 1)
+// CHECK-NEXT:    ret void
+
+namespace T11 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  char f3;
+  NonTrivial nt;
+  [[no_unique_address]] EmptyNonTrivial e;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T11
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial3T116StructD2Ev(
+// CHECK:         call void @__sanitizer_dtor_callback(i8* {{.*}}, i64 16)
+// CHECK-NEXT:    ret void
+
+namespace T12 {
+struct Struct {
+  Trivial f1;
+  int f2;
+  char f3;
+  [[no_unique_address]] EmptyNonTrivial e;
+  NonTrivial nt;
+} var;
+static_assert(sizeof(Struct) == 24);
+} // namespace T12
+} // namespace empty_non_trivial
+// CHECK-LABEL: define {{.*}} @_ZN17empty_non_trivial3T126StructD2Ev(
+// CHECK:         ret void


        


More information about the llvm-branch-commits mailing list