reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   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;
}