1 files changed, 38 insertions, 0 deletions
diff --git a/test/CodeGen/unsigned-trapv.c b/test/CodeGen/unsigned-trapv.c
new file mode 100644
index 0000000..b7aed03
--- /dev/null
+++ b/test/CodeGen/unsigned-trapv.c
@@ -0,0 +1,38 @@
+// RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overflow | FileCheck %s --check-prefix=UNSIGNED
+// RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-prefix=TRAPV
+// RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=unsigned-integer-overflow -ftrapv | FileCheck %s --check-prefix=BOTH
+// Verify that -ftrapv and -fsanitize=unsigned-integer-overflow
+// work together as expected
+
+
+// UNSIGNED: @test_signed
+// TRAPV: @test_signed
+// BOTH: @test_signed
+void test_signed() {
+  extern volatile int a, b, c;
+  // UNSIGNED: add nsw i32
+  // UNSIGNED-NOT: overflow
+  // TRAPV: sadd.with.overflow.i32
+  // TRAPV-NOT: ubsan
+  // TRAPV: llvm.trap
+  // BOTH: sadd.with.overflow.i32
+  // BOTH-NOT: ubsan
+  // BOTH: llvm.trap
+  a = b + c;
+}
+
+// UNSIGNED: @test_unsigned
+// TRAPV: @test_unsigned
+// BOTH: @test_unsigned
+void test_unsigned() {
+  extern volatile unsigned x, y, z;
+  // UNSIGNED: uadd.with.overflow.i32
+  // UNSIGNED-NOT: llvm.trap
+  // UNSIGNED: ubsan
+  // TRAPV-NOT: overflow
+  // TRAPV-NOT: llvm.trap
+  // BOTH: uadd.with.overflow.i32
+  // BOTH: ubsan
+  // BOTH-NOT: llvm.trap
+  x = y + z;
+}