1 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overflow | FileCheck %s --check-prefix=UNSIGNED 2 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-prefix=TRAPV 3 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overflow -ftrapv | FileCheck %s --check-prefix=BOTH 4 // Verify that -ftrapv and -fsanitize=unsigned-integer-overflow 5 // work together as expected 6 7 8 // UNSIGNED: @test_signed 9 // TRAPV: @test_signed 10 // BOTH: @test_signed 11 void test_signed() { 12 extern volatile int a, b, c; 13 // UNSIGNED: add nsw i32 14 // UNSIGNED-NOT: overflow 15 // TRAPV: sadd.with.overflow.i32 16 // TRAPV-NOT: ubsan 17 // TRAPV: llvm.trap 18 // BOTH: sadd.with.overflow.i32 19 // BOTH-NOT: ubsan 20 // BOTH: llvm.trap 21 a = b + c; 22 } 23 24 // UNSIGNED: @test_unsigned 25 // TRAPV: @test_unsigned 26 // BOTH: @test_unsigned 27 void test_unsigned() { 28 extern volatile unsigned x, y, z; 29 // UNSIGNED: uadd.with.overflow.i32 30 // UNSIGNED-NOT: llvm.trap 31 // UNSIGNED: ubsan 32 // TRAPV-NOT: overflow 33 // TRAPV-NOT: llvm.trap 34 // BOTH: uadd.with.overflow.i32 35 // BOTH: ubsan 36 // BOTH-NOT: llvm.trap 37 x = y + z; 38 } 39
