Will Dietz | 822023a | 2013-01-07 22:25:52 +0000 | [diff] [blame] | 1 | // Verify proper type emitted for compound assignments |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 2 | // RUN: %clang_cc1 -ffreestanding -triple x86_64-apple-darwin10 -emit-llvm -o - %s -fsanitize=signed-integer-overflow,unsigned-integer-overflow -fsanitize-recover=signed-integer-overflow,unsigned-integer-overflow | FileCheck %s |
Will Dietz | 822023a | 2013-01-07 22:25:52 +0000 | [diff] [blame] | 3 | |
| 4 | #include <stdint.h> |
| 5 | |
| 6 | // CHECK: @[[INT:.*]] = private unnamed_addr constant { i16, i16, [6 x i8] } { i16 0, i16 11, [6 x i8] c"'int'\00" } |
Will Dietz | 4a5984c | 2013-01-09 03:39:41 +0000 | [diff] [blame] | 7 | // CHECK: @[[LINE_100:.*]] = private unnamed_addr global {{.*}}, i32 100, i32 5 {{.*}} @[[INT]] |
Will Dietz | 822023a | 2013-01-07 22:25:52 +0000 | [diff] [blame] | 8 | // CHECK: @[[UINT:.*]] = private unnamed_addr constant { i16, i16, [15 x i8] } { i16 0, i16 10, [15 x i8] c"'unsigned int'\00" } |
Will Dietz | 4a5984c | 2013-01-09 03:39:41 +0000 | [diff] [blame] | 9 | // CHECK: @[[LINE_200:.*]] = private unnamed_addr global {{.*}}, i32 200, i32 5 {{.*}} @[[UINT]] |
Will Dietz | 562d45c | 2013-11-08 01:09:22 +0000 | [diff] [blame] | 10 | // CHECK: @[[LINE_300:.*]] = private unnamed_addr global {{.*}}, i32 300, i32 5 {{.*}} @[[INT]] |
Will Dietz | 822023a | 2013-01-07 22:25:52 +0000 | [diff] [blame] | 11 | |
| 12 | int32_t x; |
| 13 | |
| 14 | // CHECK: @compaddsigned |
| 15 | void compaddsigned() { |
| 16 | #line 100 |
| 17 | x += ((int32_t)1); |
| 18 | // CHECK: @__ubsan_handle_add_overflow(i8* bitcast ({{.*}} @[[LINE_100]] to i8*), {{.*}}) |
| 19 | } |
| 20 | |
| 21 | // CHECK: @compaddunsigned |
| 22 | void compaddunsigned() { |
| 23 | #line 200 |
| 24 | x += ((uint32_t)1U); |
| 25 | // CHECK: @__ubsan_handle_add_overflow(i8* bitcast ({{.*}} @[[LINE_200]] to i8*), {{.*}}) |
| 26 | } |
| 27 | |
| 28 | int8_t a, b; |
| 29 | |
| 30 | // CHECK: @compdiv |
| 31 | void compdiv() { |
| 32 | #line 300 |
| 33 | a /= b; |
| 34 | // CHECK: @__ubsan_handle_divrem_overflow(i8* bitcast ({{.*}} @[[LINE_300]] to i8*), {{.*}}) |
| 35 | } |