test/ubsan/TestCases/ImplicitConversion/unsigned-integer-truncation.c

   1 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV0 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V0
   2 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV1 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V1
   3 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV2 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V2
   4 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV3 -o %t && %run %t 2>&1 | not FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V3
   5 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV4 -o %t && %run %t 2>&1 | not FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V4
   6 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV5 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V5
   7 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV6 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V6
   8 // RUN: %clang   -x c   -fsanitize=implicit-unsigned-integer-truncation %s -DV7 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V7
   9
  10 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV0 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V0
  11 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV1 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V1
  12 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV2 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V2
  13 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV3 -o %t && %run %t 2>&1 | not FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V3
  14 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV4 -o %t && %run %t 2>&1 | not FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V4
  15 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV5 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V5
  16 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV6 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V6
  17 // RUN: %clang   -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV7 -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="implicit conversion" --check-prefixes=CHECK-V7
  18
  19 #include <stdint.h>
  20
  21 // Test plan:
  22 //  * Two types - int and char
  23 //  * Two signs - signed and unsigned
  24 //  * Square that - we have input and output types.
  25 // Thus, there are total of (2*2)^2 == 16 tests.
  26 // These are all the possible variations/combinations of casts.
  27 // However, not all of them should result in the check.
  28 // So here, we *only* check which should and which should not result in checks.
  29
  30 uint32_t convert_unsigned_int_to_unsigned_int(uint32_t x) {
  31 #line 100
  32   return x;
  33 }
  34
  35 uint8_t convert_unsigned_char_to_unsigned_char(uint8_t x) {
  36 #line 200
  37   return x;
  38 }
  39
  40 int32_t convert_signed_int_to_signed_int(int32_t x) {
  41 #line 300
  42   return x;
  43 }
  44
  45 int8_t convert_signed_char_to_signed_char(int8_t x) {
  46 #line 400
  47   return x;
  48 }
  49
  50 uint8_t convert_unsigned_int_to_unsigned_char(uint32_t x) {
  51 #line 500
  52   return x;
  53 }
  54
  55 uint32_t convert_unsigned_char_to_unsigned_int(uint8_t x) {
  56 #line 600
  57   return x;
  58 }
  59
  60 int32_t convert_unsigned_char_to_signed_int(uint8_t x) {
  61 #line 700
  62   return x;
  63 }
  64
  65 int32_t convert_signed_char_to_signed_int(int8_t x) {
  66 #line 800
  67   return x;
  68 }
  69
  70 int32_t convert_unsigned_int_to_signed_int(uint32_t x) {
  71 #line 900
  72   return x;
  73 }
  74
  75 uint32_t convert_signed_int_to_unsigned_int(int32_t x) {
  76 #line 1000
  77   return x;
  78 }
  79
  80 uint8_t convert_signed_int_to_unsigned_char(int32_t x) {
  81 #line 1100
  82   return x;
  83 }
  84
  85 uint8_t convert_signed_char_to_unsigned_char(int8_t x) {
  86 #line 1200
  87   return x;
  88 }
  89
  90 int8_t convert_unsigned_char_to_signed_char(uint8_t x) {
  91 #line 1300
  92   return x;
  93 }
  94
  95 uint32_t convert_signed_char_to_unsigned_int(int8_t x) {
  96 #line 1400
  97   return x;
  98 }
  99
 100 int8_t convert_unsigned_int_to_signed_char(uint32_t x) {
 101 #line 1500
 102   return x;
 103 }
 104
 105 int8_t convert_signed_int_to_signed_char(int32_t x) {
 106 #line 1600
 107   return x;
 108 }
 109
 110 #line 1111 // !!!
 111
 112 int main() {
 113   // No bits set.
 114   convert_unsigned_int_to_unsigned_int(0);
 115   convert_unsigned_char_to_unsigned_char(0);
 116   convert_signed_int_to_signed_int(0);
 117   convert_signed_char_to_signed_char(0);
 118   convert_unsigned_int_to_unsigned_char(0);
 119   convert_unsigned_char_to_unsigned_int(0);
 120   convert_unsigned_char_to_signed_int(0);
 121   convert_signed_char_to_signed_int(0);
 122   convert_unsigned_int_to_signed_int(0);
 123   convert_signed_int_to_unsigned_int(0);
 124   convert_signed_int_to_unsigned_char(0);
 125   convert_signed_char_to_unsigned_char(0);
 126   convert_unsigned_char_to_signed_char(0);
 127   convert_signed_char_to_unsigned_int(0);
 128   convert_unsigned_int_to_signed_char(0);
 129   convert_signed_int_to_signed_char(0);
 130
 131   // One lowest bit set.
 132   convert_unsigned_int_to_unsigned_int(1);
 133   convert_unsigned_char_to_unsigned_char(1);
 134   convert_signed_int_to_signed_int(1);
 135   convert_signed_char_to_signed_char(1);
 136   convert_unsigned_int_to_unsigned_char(1);
 137   convert_unsigned_char_to_unsigned_int(1);
 138   convert_unsigned_char_to_signed_int(1);
 139   convert_signed_char_to_signed_int(1);
 140   convert_unsigned_int_to_signed_int(1);
 141   convert_signed_int_to_unsigned_int(1);
 142   convert_signed_int_to_unsigned_char(1);
 143   convert_signed_char_to_unsigned_char(1);
 144   convert_unsigned_char_to_signed_char(1);
 145   convert_signed_char_to_unsigned_int(1);
 146   convert_unsigned_int_to_signed_char(1);
 147   convert_signed_int_to_signed_char(1);
 148
 149 #if defined(V0)
 150   // All source bits set.
 151   convert_unsigned_int_to_unsigned_int((uint32_t)UINT32_MAX);
 152   convert_unsigned_char_to_unsigned_char((uint8_t)UINT8_MAX);
 153   convert_signed_int_to_signed_int((int32_t)(uint32_t)UINT32_MAX);
 154   convert_signed_char_to_signed_char((int8_t)UINT8_MAX);
 155   convert_unsigned_int_to_unsigned_char((uint32_t)UINT32_MAX);
 156 // CHECK-V0: {{.*}}unsigned-integer-truncation.c:500:10: runtime error: implicit conversion from type '{{.*}}' (aka 'unsigned int') of value 4294967295 (32-bit, unsigned) to type '{{.*}}' (aka 'unsigned char') changed the value to 255 (8-bit, unsigned
 157   convert_unsigned_char_to_unsigned_int((uint8_t)UINT8_MAX);
 158   convert_unsigned_char_to_signed_int((uint8_t)UINT8_MAX);
 159   convert_signed_char_to_signed_int((int8_t)UINT8_MAX);
 160   convert_unsigned_int_to_signed_int((uint32_t)UINT32_MAX);
 161   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)UINT32_MAX);
 162   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)UINT32_MAX);
 163   convert_signed_char_to_unsigned_char((int8_t)UINT8_MAX);
 164   convert_unsigned_char_to_signed_char((uint8_t)UINT8_MAX);
 165   convert_signed_char_to_unsigned_int((int8_t)UINT8_MAX);
 166   convert_unsigned_int_to_signed_char((uint32_t)UINT32_MAX);
 167   convert_signed_int_to_signed_char((int32_t)(uint32_t)UINT32_MAX);
 168 #elif defined(V1)
 169    // Source 'Sign' bit set.
 170   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);
 171   convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MIN);
 172   convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MIN);
 173   convert_signed_char_to_signed_char((int8_t)INT8_MIN);
 174   convert_unsigned_int_to_unsigned_char((uint32_t)INT32_MIN);
 175 // CHECK-V1: {{.*}}unsigned-integer-truncation.c:500:10: runtime error: implicit conversion from type '{{.*}}' (aka 'unsigned int') of value 2147483648 (32-bit, unsigned) to type '{{.*}}' (aka 'unsigned char') changed the value to 0 (8-bit, unsigned)
 176   convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MIN);
 177   convert_unsigned_char_to_signed_int((uint8_t)INT8_MIN);
 178   convert_signed_char_to_signed_int((int8_t)INT8_MIN);
 179   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);
 180   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MIN);
 181   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MIN);
 182   convert_signed_char_to_unsigned_char((int8_t)INT8_MIN);
 183   convert_unsigned_char_to_signed_char((uint8_t)INT8_MIN);
 184   convert_signed_char_to_unsigned_int((int8_t)INT8_MIN);
 185   convert_unsigned_int_to_signed_char((uint32_t)INT32_MIN);
 186   convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MIN);
 187 #elif defined(V2)
 188   // All bits except the source 'Sign' bit are set.
 189   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MAX);
 190   convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MAX);
 191   convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MAX);
 192   convert_signed_char_to_signed_char((int8_t)INT8_MAX);
 193   convert_unsigned_int_to_unsigned_char((uint32_t)INT32_MAX);
 194 // CHECK-V2: {{.*}}unsigned-integer-truncation.c:500:10: runtime error: implicit conversion from type '{{.*}}' (aka 'unsigned int') of value 2147483647 (32-bit, unsigned) to type '{{.*}}' (aka 'unsigned char') changed the value to 255 (8-bit, unsigned)
 195   convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MAX);
 196   convert_unsigned_char_to_signed_int((uint8_t)INT8_MAX);
 197   convert_signed_char_to_signed_int((int8_t)INT8_MAX);
 198   convert_unsigned_int_to_signed_int((uint32_t)INT32_MAX);
 199   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MAX);
 200   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MAX);
 201   convert_signed_char_to_unsigned_char((int8_t)INT8_MAX);
 202   convert_unsigned_char_to_signed_char((uint8_t)INT8_MAX);
 203   convert_signed_char_to_unsigned_int((int8_t)INT8_MAX);
 204   convert_unsigned_int_to_signed_char((uint32_t)INT32_MAX);
 205   convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MAX);
 206 #elif defined(V3)
 207   // All destination bits set.
 208   convert_unsigned_int_to_unsigned_int((uint32_t)UINT8_MAX);
 209   convert_unsigned_char_to_unsigned_char((uint8_t)UINT8_MAX);
 210   convert_signed_int_to_signed_int((int32_t)(uint32_t)UINT8_MAX);
 211   convert_signed_char_to_signed_char((int8_t)UINT8_MAX);
 212   convert_unsigned_int_to_unsigned_char((uint32_t)UINT8_MAX);
 213   convert_unsigned_char_to_unsigned_int((uint8_t)UINT8_MAX);
 214   convert_unsigned_char_to_signed_int((uint8_t)UINT8_MAX);
 215   convert_signed_char_to_signed_int((int8_t)UINT8_MAX);
 216   convert_unsigned_int_to_signed_int((uint32_t)UINT8_MAX);
 217   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)UINT8_MAX);
 218   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)UINT8_MAX);
 219   convert_signed_char_to_unsigned_char((int8_t)UINT8_MAX);
 220   convert_unsigned_char_to_signed_char((uint8_t)UINT8_MAX);
 221   convert_signed_char_to_unsigned_int((int8_t)UINT8_MAX);
 222   convert_unsigned_int_to_signed_char((uint32_t)UINT8_MAX);
 223   convert_signed_int_to_signed_char((int32_t)(uint32_t)UINT8_MAX);
 224 #elif defined(V4)
 225   // Destination 'sign' bit set.
 226   convert_unsigned_int_to_unsigned_int((uint32_t)(uint8_t)INT8_MIN);
 227   convert_unsigned_char_to_unsigned_char((uint8_t)(uint8_t)INT8_MIN);
 228   convert_signed_int_to_signed_int((int32_t)(uint32_t)(uint8_t)INT8_MIN);
 229   convert_signed_char_to_signed_char((int8_t)(uint8_t)INT8_MIN);
 230   convert_unsigned_int_to_unsigned_char((uint32_t)(uint8_t)INT8_MIN);
 231   convert_unsigned_char_to_unsigned_int((uint8_t)(uint8_t)INT8_MIN);
 232   convert_unsigned_char_to_signed_int((uint8_t)(uint8_t)INT8_MIN);
 233   convert_signed_char_to_signed_int((int8_t)(uint8_t)INT8_MIN);
 234   convert_unsigned_int_to_signed_int((uint32_t)(uint8_t)INT8_MIN);
 235   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)(uint8_t)INT8_MIN);
 236   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)(uint8_t)INT8_MIN);
 237   convert_signed_char_to_unsigned_char((int8_t)(uint8_t)INT8_MIN);
 238   convert_unsigned_char_to_signed_char((uint8_t)(uint8_t)INT8_MIN);
 239   convert_signed_char_to_unsigned_int((int8_t)(uint8_t)INT8_MIN);
 240   convert_unsigned_int_to_signed_char((uint32_t)(uint8_t)INT8_MIN);
 241   convert_signed_int_to_signed_char((int32_t)(uint32_t)(uint8_t)INT8_MIN);
 242 #elif defined(V5)
 243   // All bits except the destination 'sign' bit are set.
 244   convert_unsigned_int_to_unsigned_int((~((uint32_t)(uint8_t)INT8_MIN)));
 245   convert_unsigned_char_to_unsigned_char((uint8_t)(uint8_t)INT8_MIN);
 246   convert_signed_int_to_signed_int((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));
 247   convert_signed_char_to_signed_char((int8_t)(uint8_t)INT8_MIN);
 248   convert_unsigned_int_to_unsigned_char((~((uint32_t)(uint8_t)INT8_MIN)));
 249 // CHECK-V5: {{.*}}unsigned-integer-truncation.c:500:10: runtime error: implicit conversion from type '{{.*}}' (aka 'unsigned int') of value 4294967167 (32-bit, unsigned) to type '{{.*}}' (aka 'unsigned char') changed the value to 127 (8-bit, unsigned)
 250   convert_unsigned_char_to_unsigned_int((uint8_t)(uint8_t)INT8_MIN);
 251   convert_unsigned_char_to_signed_int((uint8_t)(uint8_t)INT8_MIN);
 252   convert_signed_char_to_signed_int((int8_t)(uint8_t)INT8_MIN);
 253   convert_unsigned_int_to_signed_int((~((uint32_t)(uint8_t)INT8_MIN)));
 254   convert_signed_int_to_unsigned_int((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));
 255   convert_signed_int_to_unsigned_char((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));
 256   convert_signed_char_to_unsigned_char((int8_t)(uint8_t)INT8_MIN);
 257   convert_unsigned_char_to_signed_char((uint8_t)(uint8_t)INT8_MIN);
 258   convert_signed_char_to_unsigned_int((int8_t)(uint8_t)INT8_MIN);
 259   convert_unsigned_int_to_signed_char((~((uint32_t)(uint8_t)INT8_MIN)));
 260   convert_signed_int_to_signed_char((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));
 261 #elif defined(V6)
 262   // Only the source and destination sign bits are set.
 263   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);
 264   convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MIN);
 265   convert_signed_int_to_signed_int((int32_t)INT32_MIN);
 266   convert_signed_char_to_signed_char((int8_t)INT8_MIN);
 267   convert_unsigned_int_to_unsigned_char(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN));
 268 // CHECK-V6: {{.*}}unsigned-integer-truncation.c:500:10: runtime error: implicit conversion from type '{{.*}}' (aka 'unsigned int') of value 2147483776 (32-bit, unsigned) to type '{{.*}}' (aka 'unsigned char') changed the value to 128 (8-bit, unsigned)
 269   convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MIN);
 270   convert_unsigned_char_to_signed_int((uint8_t)INT8_MIN);
 271   convert_signed_char_to_signed_int((int8_t)INT8_MIN);
 272   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);
 273   convert_signed_int_to_unsigned_int((uint32_t)INT32_MIN);
 274   convert_signed_int_to_unsigned_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));
 275   convert_signed_char_to_unsigned_char((int8_t)INT8_MIN);
 276   convert_unsigned_char_to_signed_char((uint8_t)INT8_MIN);
 277   convert_signed_char_to_unsigned_int((int8_t)INT8_MIN);
 278   convert_unsigned_int_to_signed_char((((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));
 279   convert_signed_int_to_signed_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));
 280 #elif defined(V7)
 281   // All bits except the source and destination sign bits are set.
 282   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MAX);
 283   convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MAX);
 284   convert_signed_int_to_signed_int((int32_t)INT32_MAX);
 285   convert_signed_char_to_signed_char((int8_t)INT8_MAX);
 286   convert_unsigned_int_to_unsigned_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));
 287 // CHECK-V7: {{.*}}unsigned-integer-truncation.c:500:10: runtime error: implicit conversion from type '{{.*}}' (aka 'unsigned int') of value 2147483519 (32-bit, unsigned) to type '{{.*}}' (aka 'unsigned char') changed the value to 127 (8-bit, unsigned)
 288   convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MAX);
 289   convert_unsigned_char_to_signed_int((uint8_t)INT8_MAX);
 290   convert_signed_char_to_signed_int((int8_t)INT8_MAX);
 291   convert_unsigned_int_to_signed_int((uint32_t)INT32_MAX);
 292   convert_signed_int_to_unsigned_int((uint32_t)INT32_MAX);
 293   convert_signed_int_to_unsigned_char((int32_t)(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN))));
 294   convert_signed_char_to_unsigned_char((int8_t)INT8_MAX);
 295   convert_unsigned_char_to_signed_char((uint8_t)INT8_MAX);
 296   convert_signed_char_to_unsigned_int((int8_t)INT8_MAX);
 297   convert_unsigned_int_to_signed_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));
 298   convert_signed_int_to_signed_char((int32_t)~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));
 299 #else
 300 #error Some V* needs to be defined!
 301 #endif
 302
 303   return 0;
 304 }