| 1 | // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=unsigned-integer-overflow -fsanitize-minimal-runtime %s -emit-llvm -o - | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | unsigned long li, lj, lk; |
|---|
| 4 | |
|---|
| 5 | // CHECK-LABEL: define void @testlongadd() |
|---|
| 6 | void testlongadd() { |
|---|
| 7 | // CHECK: call void @__ubsan_handle_add_overflow_minimal_abort() |
|---|
| 8 | li = lj + lk; |
|---|
| 9 | } |
|---|
| 10 | |
|---|
| 11 | // CHECK-LABEL: define void @testlongsub() |
|---|
| 12 | void testlongsub() { |
|---|
| 13 | // CHECK: call void @__ubsan_handle_sub_overflow_minimal_abort() |
|---|
| 14 | li = lj - lk; |
|---|
| 15 | } |
|---|
| 16 | |
|---|
| 17 | // CHECK-LABEL: define void @testlongmul() |
|---|
| 18 | void testlongmul() { |
|---|
| 19 | // CHECK: call void @__ubsan_handle_mul_overflow_minimal_abort() |
|---|
| 20 | li = lj * lk; |
|---|
| 21 | } |
|---|
| 22 | |
|---|