Lines Matching +full:unsigned +full:- +full:integer +full:- +full:overflow

1 …UN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overflow…
2 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-pr…
3 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overf…
4 // Verify that -ftrapv and -fsanitize=unsigned-integer-overflow
8 // UNSIGNED: @test_signed
13   // UNSIGNED: add nsw i32  in test_signed()
14   // UNSIGNED-NOT: overflow  in test_signed()
15   // TRAPV: sadd.with.overflow.i32  in test_signed()
16   // TRAPV-NOT: ubsan  in test_signed()
18   // BOTH: sadd.with.overflow.i32  in test_signed()
19   // BOTH-NOT: ubsan  in test_signed()
24 // UNSIGNED: @test_unsigned
28   extern volatile unsigned x, y, z;  in test_unsigned()
29   // UNSIGNED: uadd.with.overflow.i32  in test_unsigned()
30   // UNSIGNED-NOT: llvm.trap  in test_unsigned()
31   // UNSIGNED: ubsan  in test_unsigned()
32   // TRAPV-NOT: overflow  in test_unsigned()
33   // TRAPV-NOT: llvm.trap  in test_unsigned()
34   // BOTH: uadd.with.overflow.i32  in test_unsigned()
36   // BOTH-NOT: llvm.trap  in test_unsigned()