| 1 | // Verify proper type emitted for compound assignments |
|---|
| 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 |
|---|
| 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" } |
|---|
| 7 | // CHECK: @[[LINE_100:.*]] = private unnamed_addr global {{.*}}, i32 100, i32 5 {{.*}} @[[INT]] |
|---|
| 8 | // CHECK: @[[UINT:.*]] = private unnamed_addr constant { i16, i16, [15 x i8] } { i16 0, i16 10, [15 x i8] c"'unsigned int'\00" } |
|---|
| 9 | // CHECK: @[[LINE_200:.*]] = private unnamed_addr global {{.*}}, i32 200, i32 5 {{.*}} @[[UINT]] |
|---|
| 10 | // CHECK: @[[LINE_300:.*]] = private unnamed_addr global {{.*}}, i32 300, i32 5 {{.*}} @[[INT]] |
|---|
| 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 | // CHECK: @compdiv |
|---|
| 29 | void compdiv() { |
|---|
| 30 | #line 300 |
|---|
| 31 | x /= x; |
|---|
| 32 | // CHECK: @__ubsan_handle_divrem_overflow(i8* bitcast ({{.*}} @[[LINE_300]] to i8*), {{.*}}) |
|---|
| 33 | } |
|---|
| 34 | |
|---|