312 lines · c
1// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV0 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V0,CHECK2// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV1 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V1,CHECK3// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV2 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V2,CHECK4// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV3 -o %t && %run %t 2>&1 | FileCheck %s5// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV4 -o %t && %run %t 2>&1 | FileCheck %s6// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV5 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V5,CHECK7// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV6 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V6,CHECK8// RUN: %clang -x c -fsanitize=implicit-unsigned-integer-truncation %s -DV7 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V7,CHECK9 10// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV0 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V0,CHECK11// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV1 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V1,CHECK12// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV2 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V2,CHECK13// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV3 -o %t && %run %t 2>&1 | FileCheck %s14// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV4 -o %t && %run %t 2>&1 | FileCheck %s15// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV5 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V5,CHECK16// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV6 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V6,CHECK17// RUN: %clangxx -x c++ -fsanitize=implicit-unsigned-integer-truncation %s -DV7 -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK-V7,CHECK18 19#include <stdint.h>20#include <stdio.h>21 22// Test plan:23// * Two types - int and char24// * Two signs - signed and unsigned25// * Square that - we have input and output types.26// Thus, there are total of (2*2)^2 == 16 tests.27// These are all the possible variations/combinations of casts.28// However, not all of them should result in the check.29// So here, we *only* check which should and which should not result in checks.30 31uint32_t convert_unsigned_int_to_unsigned_int(uint32_t x) {32#line 10033 return x;34}35 36uint8_t convert_unsigned_char_to_unsigned_char(uint8_t x) {37#line 20038 return x;39}40 41int32_t convert_signed_int_to_signed_int(int32_t x) {42#line 30043 return x;44}45 46int8_t convert_signed_char_to_signed_char(int8_t x) {47#line 40048 return x;49}50 51uint8_t convert_unsigned_int_to_unsigned_char(uint32_t x) {52#line 50053 return x;54}55 56uint32_t convert_unsigned_char_to_unsigned_int(uint8_t x) {57#line 60058 return x;59}60 61int32_t convert_unsigned_char_to_signed_int(uint8_t x) {62#line 70063 return x;64}65 66int32_t convert_signed_char_to_signed_int(int8_t x) {67#line 80068 return x;69}70 71int32_t convert_unsigned_int_to_signed_int(uint32_t x) {72#line 90073 return x;74}75 76uint32_t convert_signed_int_to_unsigned_int(int32_t x) {77#line 100078 return x;79}80 81uint8_t convert_signed_int_to_unsigned_char(int32_t x) {82#line 110083 return x;84}85 86uint8_t convert_signed_char_to_unsigned_char(int8_t x) {87#line 120088 return x;89}90 91int8_t convert_unsigned_char_to_signed_char(uint8_t x) {92#line 130093 return x;94}95 96uint32_t convert_signed_char_to_unsigned_int(int8_t x) {97#line 140098 return x;99}100 101int8_t convert_unsigned_int_to_signed_char(uint32_t x) {102#line 1500103 return x;104}105 106int8_t convert_signed_int_to_signed_char(int32_t x) {107#line 1600108 return x;109}110 111#line 1111 // !!!112 113int main() {114 fprintf(stderr, "TEST\n");115 // CHECK-NOT: runtime error116 // CHECK-LABEL: TEST117 118 // No bits set.119 convert_unsigned_int_to_unsigned_int(0);120 convert_unsigned_char_to_unsigned_char(0);121 convert_signed_int_to_signed_int(0);122 convert_signed_char_to_signed_char(0);123 convert_unsigned_int_to_unsigned_char(0);124 convert_unsigned_char_to_unsigned_int(0);125 convert_unsigned_char_to_signed_int(0);126 convert_signed_char_to_signed_int(0);127 convert_unsigned_int_to_signed_int(0);128 convert_signed_int_to_unsigned_int(0);129 convert_signed_int_to_unsigned_char(0);130 convert_signed_char_to_unsigned_char(0);131 convert_unsigned_char_to_signed_char(0);132 convert_signed_char_to_unsigned_int(0);133 convert_unsigned_int_to_signed_char(0);134 convert_signed_int_to_signed_char(0);135 136 // One lowest bit set.137 convert_unsigned_int_to_unsigned_int(1);138 convert_unsigned_char_to_unsigned_char(1);139 convert_signed_int_to_signed_int(1);140 convert_signed_char_to_signed_char(1);141 convert_unsigned_int_to_unsigned_char(1);142 convert_unsigned_char_to_unsigned_int(1);143 convert_unsigned_char_to_signed_int(1);144 convert_signed_char_to_signed_int(1);145 convert_unsigned_int_to_signed_int(1);146 convert_signed_int_to_unsigned_int(1);147 convert_signed_int_to_unsigned_char(1);148 convert_signed_char_to_unsigned_char(1);149 convert_unsigned_char_to_signed_char(1);150 convert_signed_char_to_unsigned_int(1);151 convert_unsigned_int_to_signed_char(1);152 convert_signed_int_to_signed_char(1);153 154#if defined(V0)155 // All source bits set.156 convert_unsigned_int_to_unsigned_int((uint32_t)UINT32_MAX);157 convert_unsigned_char_to_unsigned_char((uint8_t)UINT8_MAX);158 convert_signed_int_to_signed_int((int32_t)(uint32_t)UINT32_MAX);159 convert_signed_char_to_signed_char((int8_t)UINT8_MAX);160 convert_unsigned_int_to_unsigned_char((uint32_t)UINT32_MAX);161// 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, unsigned162 convert_unsigned_char_to_unsigned_int((uint8_t)UINT8_MAX);163 convert_unsigned_char_to_signed_int((uint8_t)UINT8_MAX);164 convert_signed_char_to_signed_int((int8_t)UINT8_MAX);165 convert_unsigned_int_to_signed_int((uint32_t)UINT32_MAX);166 convert_signed_int_to_unsigned_int((int32_t)(uint32_t)UINT32_MAX);167 convert_signed_int_to_unsigned_char((int32_t)(uint32_t)UINT32_MAX);168 convert_signed_char_to_unsigned_char((int8_t)UINT8_MAX);169 convert_unsigned_char_to_signed_char((uint8_t)UINT8_MAX);170 convert_signed_char_to_unsigned_int((int8_t)UINT8_MAX);171 convert_unsigned_int_to_signed_char((uint32_t)UINT32_MAX);172 convert_signed_int_to_signed_char((int32_t)(uint32_t)UINT32_MAX);173#elif defined(V1)174 // Source 'Sign' bit set.175 convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);176 convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MIN);177 convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MIN);178 convert_signed_char_to_signed_char((int8_t)INT8_MIN);179 convert_unsigned_int_to_unsigned_char((uint32_t)INT32_MIN);180// 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)181 convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MIN);182 convert_unsigned_char_to_signed_int((uint8_t)INT8_MIN);183 convert_signed_char_to_signed_int((int8_t)INT8_MIN);184 convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);185 convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MIN);186 convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MIN);187 convert_signed_char_to_unsigned_char((int8_t)INT8_MIN);188 convert_unsigned_char_to_signed_char((uint8_t)INT8_MIN);189 convert_signed_char_to_unsigned_int((int8_t)INT8_MIN);190 convert_unsigned_int_to_signed_char((uint32_t)INT32_MIN);191 convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MIN);192#elif defined(V2)193 // All bits except the source 'Sign' bit are set.194 convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MAX);195 convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MAX);196 convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MAX);197 convert_signed_char_to_signed_char((int8_t)INT8_MAX);198 convert_unsigned_int_to_unsigned_char((uint32_t)INT32_MAX);199// 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)200 convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MAX);201 convert_unsigned_char_to_signed_int((uint8_t)INT8_MAX);202 convert_signed_char_to_signed_int((int8_t)INT8_MAX);203 convert_unsigned_int_to_signed_int((uint32_t)INT32_MAX);204 convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MAX);205 convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MAX);206 convert_signed_char_to_unsigned_char((int8_t)INT8_MAX);207 convert_unsigned_char_to_signed_char((uint8_t)INT8_MAX);208 convert_signed_char_to_unsigned_int((int8_t)INT8_MAX);209 convert_unsigned_int_to_signed_char((uint32_t)INT32_MAX);210 convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MAX);211#elif defined(V3)212 // All destination bits set.213 convert_unsigned_int_to_unsigned_int((uint32_t)UINT8_MAX);214 convert_unsigned_char_to_unsigned_char((uint8_t)UINT8_MAX);215 convert_signed_int_to_signed_int((int32_t)(uint32_t)UINT8_MAX);216 convert_signed_char_to_signed_char((int8_t)UINT8_MAX);217 convert_unsigned_int_to_unsigned_char((uint32_t)UINT8_MAX);218 convert_unsigned_char_to_unsigned_int((uint8_t)UINT8_MAX);219 convert_unsigned_char_to_signed_int((uint8_t)UINT8_MAX);220 convert_signed_char_to_signed_int((int8_t)UINT8_MAX);221 convert_unsigned_int_to_signed_int((uint32_t)UINT8_MAX);222 convert_signed_int_to_unsigned_int((int32_t)(uint32_t)UINT8_MAX);223 convert_signed_int_to_unsigned_char((int32_t)(uint32_t)UINT8_MAX);224 convert_signed_char_to_unsigned_char((int8_t)UINT8_MAX);225 convert_unsigned_char_to_signed_char((uint8_t)UINT8_MAX);226 convert_signed_char_to_unsigned_int((int8_t)UINT8_MAX);227 convert_unsigned_int_to_signed_char((uint32_t)UINT8_MAX);228 convert_signed_int_to_signed_char((int32_t)(uint32_t)UINT8_MAX);229#elif defined(V4)230 // Destination 'sign' bit set.231 convert_unsigned_int_to_unsigned_int((uint32_t)(uint8_t)INT8_MIN);232 convert_unsigned_char_to_unsigned_char((uint8_t)(uint8_t)INT8_MIN);233 convert_signed_int_to_signed_int((int32_t)(uint32_t)(uint8_t)INT8_MIN);234 convert_signed_char_to_signed_char((int8_t)(uint8_t)INT8_MIN);235 convert_unsigned_int_to_unsigned_char((uint32_t)(uint8_t)INT8_MIN);236 convert_unsigned_char_to_unsigned_int((uint8_t)(uint8_t)INT8_MIN);237 convert_unsigned_char_to_signed_int((uint8_t)(uint8_t)INT8_MIN);238 convert_signed_char_to_signed_int((int8_t)(uint8_t)INT8_MIN);239 convert_unsigned_int_to_signed_int((uint32_t)(uint8_t)INT8_MIN);240 convert_signed_int_to_unsigned_int((int32_t)(uint32_t)(uint8_t)INT8_MIN);241 convert_signed_int_to_unsigned_char((int32_t)(uint32_t)(uint8_t)INT8_MIN);242 convert_signed_char_to_unsigned_char((int8_t)(uint8_t)INT8_MIN);243 convert_unsigned_char_to_signed_char((uint8_t)(uint8_t)INT8_MIN);244 convert_signed_char_to_unsigned_int((int8_t)(uint8_t)INT8_MIN);245 convert_unsigned_int_to_signed_char((uint32_t)(uint8_t)INT8_MIN);246 convert_signed_int_to_signed_char((int32_t)(uint32_t)(uint8_t)INT8_MIN);247#elif defined(V5)248 // All bits except the destination 'sign' bit are set.249 convert_unsigned_int_to_unsigned_int((~((uint32_t)(uint8_t)INT8_MIN)));250 convert_unsigned_char_to_unsigned_char((uint8_t)(uint8_t)INT8_MIN);251 convert_signed_int_to_signed_int((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));252 convert_signed_char_to_signed_char((int8_t)(uint8_t)INT8_MIN);253 convert_unsigned_int_to_unsigned_char((~((uint32_t)(uint8_t)INT8_MIN)));254// 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)255 convert_unsigned_char_to_unsigned_int((uint8_t)(uint8_t)INT8_MIN);256 convert_unsigned_char_to_signed_int((uint8_t)(uint8_t)INT8_MIN);257 convert_signed_char_to_signed_int((int8_t)(uint8_t)INT8_MIN);258 convert_unsigned_int_to_signed_int((~((uint32_t)(uint8_t)INT8_MIN)));259 convert_signed_int_to_unsigned_int((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));260 convert_signed_int_to_unsigned_char((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));261 convert_signed_char_to_unsigned_char((int8_t)(uint8_t)INT8_MIN);262 convert_unsigned_char_to_signed_char((uint8_t)(uint8_t)INT8_MIN);263 convert_signed_char_to_unsigned_int((int8_t)(uint8_t)INT8_MIN);264 convert_unsigned_int_to_signed_char((~((uint32_t)(uint8_t)INT8_MIN)));265 convert_signed_int_to_signed_char((int32_t)(~((uint32_t)(uint8_t)INT8_MIN)));266#elif defined(V6)267 // Only the source and destination sign bits are set.268 convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);269 convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MIN);270 convert_signed_int_to_signed_int((int32_t)INT32_MIN);271 convert_signed_char_to_signed_char((int8_t)INT8_MIN);272 convert_unsigned_int_to_unsigned_char(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN));273// 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)274 convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MIN);275 convert_unsigned_char_to_signed_int((uint8_t)INT8_MIN);276 convert_signed_char_to_signed_int((int8_t)INT8_MIN);277 convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);278 convert_signed_int_to_unsigned_int((uint32_t)INT32_MIN);279 convert_signed_int_to_unsigned_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));280 convert_signed_char_to_unsigned_char((int8_t)INT8_MIN);281 convert_unsigned_char_to_signed_char((uint8_t)INT8_MIN);282 convert_signed_char_to_unsigned_int((int8_t)INT8_MIN);283 convert_unsigned_int_to_signed_char((((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));284 convert_signed_int_to_signed_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));285#elif defined(V7)286 // All bits except the source and destination sign bits are set.287 convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MAX);288 convert_unsigned_char_to_unsigned_char((uint8_t)INT8_MAX);289 convert_signed_int_to_signed_int((int32_t)INT32_MAX);290 convert_signed_char_to_signed_char((int8_t)INT8_MAX);291 convert_unsigned_int_to_unsigned_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));292// 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)293 convert_unsigned_char_to_unsigned_int((uint8_t)INT8_MAX);294 convert_unsigned_char_to_signed_int((uint8_t)INT8_MAX);295 convert_signed_char_to_signed_int((int8_t)INT8_MAX);296 convert_unsigned_int_to_signed_int((uint32_t)INT32_MAX);297 convert_signed_int_to_unsigned_int((uint32_t)INT32_MAX);298 convert_signed_int_to_unsigned_char((int32_t)(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN))));299 convert_signed_char_to_unsigned_char((int8_t)INT8_MAX);300 convert_unsigned_char_to_signed_char((uint8_t)INT8_MAX);301 convert_signed_char_to_unsigned_int((int8_t)INT8_MAX);302 convert_unsigned_int_to_signed_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));303 convert_signed_int_to_signed_char((int32_t)~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));304#else305#error Some V* needs to be defined!306#endif307 308 return 0;309}310 311// CHECK-NOT: runtime error312