clang/test/CodeGenCXX/ubsan-new-checks.cpp

   1 // RUN: %clang_cc1 -triple x86_64-linux-gnu -std=c++11 -S -emit-llvm -fsanitize=alignment %s -o - | FileCheck %s
   2
   3 struct alignas(32) S1 {
   4   int x;
   5   S1();
   6 };
   7
   8 struct alignas(32) S2 {
   9   int x;
  10 };
  11
  12 struct alignas(32) S3 {
  13   int x;
  14   S3(int *p = new int[4]);
  15 };
  16
  17 struct S4 : public S3 {
  18   S4() : S3() {}
  19 };
  20
  21 typedef __attribute__((ext_vector_type(8), aligned(32))) float float32x8_t;
  22
  23 struct S5 {
  24   float32x8_t x;
  25 };
  26
  27 void *operator new (unsigned long, void *p) { return p; }
  28 void *operator new[] (unsigned long, void *p) { return p; }
  29
  30 S1 *func_01() {
  31   // CHECK-LABEL: define {{.*}} @_Z7func_01v
  32   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  33   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  34   // CHECK:       call void @_ZN2S1C1Ev(
  35   // CHECK-NOT:   and i64 %{{.*}}, 31
  36   // CHECK:       ret ptr
  37   return new S1[20];
  38 }
  39
  40 S2 *func_02() {
  41   // CHECK-LABEL: define {{.*}} @_Z7func_02v
  42   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  43   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  44   // CHECK:       ret ptr
  45   return new S2;
  46 }
  47
  48 S2 *func_03() {
  49   // CHECK-LABEL: define {{.*}} @_Z7func_03v
  50   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  51   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  52   // CHECK-NOT:   and i64 %{{.*}}, 31
  53   // CHECK:       ret ptr
  54   return new S2[20];
  55 }
  56
  57 float32x8_t *func_04() {
  58   // CHECK-LABEL: define {{.*}} @_Z7func_04v
  59   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  60   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  61   // CHECK:       ret ptr
  62   return new float32x8_t;
  63 }
  64
  65 float32x8_t *func_05() {
  66   // CHECK-LABEL: define {{.*}} @_Z7func_05v
  67   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  68   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  69   // CHECK-NOT:   and i64 %{{.*}}, 31
  70   // CHECK:       ret ptr
  71   return new float32x8_t[20];
  72 }
  73
  74 S3 *func_07() {
  75   // CHECK-LABEL: define {{.*}} @_Z7func_07v
  76   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  77   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  78   // CHECK:       and i64 %{{.*}}, 3, !nosanitize
  79   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  80   // CHECK:       ret ptr
  81   return new S3;
  82 }
  83
  84 S3 *func_08() {
  85   // CHECK-LABEL: define {{.*}} @_Z7func_08v
  86   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  87   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  88   // CHECK:       and i64 %{{.*}}, 3, !nosanitize
  89   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  90   // CHECK:       ret ptr
  91   return new S3[10];
  92 }
  93
  94
  95 S2 *func_10(void *p) {
  96   // CHECK-LABEL: define {{.*}} @_Z7func_10Pv
  97   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
  98   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
  99   // CHECK:       ret ptr
 100   return new(p) S2;
 101 }
 102
 103 S2 *func_11(void *p) {
 104   // CHECK-LABEL: define {{.*}} @_Z7func_11Pv
 105   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
 106   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
 107   // CHECK-NOT:   and i64 %{{.*}}, 31, !nosanitize
 108   // CHECK-NOT:   icmp eq i64 %{{.*}}, 0, !nosanitize
 109   // CHECK:       ret ptr
 110   return new(p) S2[10];
 111 }
 112
 113 float32x8_t *func_12() {
 114   // CHECK-LABEL: define {{.*}} @_Z7func_12v
 115   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
 116   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
 117   // CHECK:       ret ptr
 118   return new float32x8_t;
 119 }
 120
 121 float32x8_t *func_13() {
 122   // CHECK-LABEL: define {{.*}} @_Z7func_13v
 123   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
 124   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
 125   // CHECK-NOT:   and i64 %{{.*}}, 31
 126   // CHECK:       ret ptr
 127   return new float32x8_t[20];
 128 }
 129
 130 S4 *func_14() {
 131   // CHECK-LABEL: define {{.*}} @_Z7func_14v
 132   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
 133   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
 134   // CHECK-NOT:   and i64 %{{.*}}, 31
 135   // CHECK:       ret ptr
 136   return new S4;
 137 }
 138
 139 S5 *func_15(const S5 *ptr) {
 140   // CHECK-LABEL: define {{.*}} @_Z7func_15PK2S5
 141   // CHECK:       and i64 %{{.*}}, 31, !nosanitize
 142   // CHECK:       icmp eq i64 %{{.*}}, 0, !nosanitize
 143   // CHECK-NOT:   and i64
 144   // CHECK:       ret ptr
 145   return new S5(*ptr);
 146 }