// 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.ubsantrap
  // BOTH: sadd.with.overflow.i32
  // BOTH-NOT: @__ubsan
  // BOTH: llvm.ubsantrap
  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.ubsantrap
  x = y + z;
}