clang/test/CodeGenCXX/catch-implicit-integer-sign-changes-true-negatives.cpp

   1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefix=CHECK
   2 // RUN: %clang_cc1 -fsanitize=implicit-integer-sign-change -fno-sanitize-recover=implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-SANITIZE
   3 // RUN: %clang_cc1 -fsanitize=implicit-integer-sign-change -fsanitize-recover=implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-SANITIZE
   4 // RUN: %clang_cc1 -fsanitize=implicit-integer-sign-change -fsanitize-trap=implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-SANITIZE
   5
   6 extern "C" { // Disable name mangling.
   7
   8 // ========================================================================== //
   9 // The expected true-negatives.
  10 // ========================================================================== //
  11
  12 // Sanitization is explicitly disabled.
  13 // ========================================================================== //
  14
  15 // CHECK-LABEL: @ignorelist_0
  16 __attribute__((no_sanitize("undefined"))) unsigned int ignorelist_0(signed int src) {
  17   // We are not in "undefined" group, so that doesn't work.
  18   // CHECK-SANITIZE: call
  19   // CHECK: }
  20   return src;
  21 }
  22
  23 // CHECK-LABEL: @ignorelist_1
  24 __attribute__((no_sanitize("integer"))) unsigned int ignorelist_1(signed int src) {
  25   // CHECK-SANITIZE-NOT: call
  26   // CHECK: }
  27   return src;
  28 }
  29
  30 // CHECK-LABEL: @ignorelist_2
  31 __attribute__((no_sanitize("implicit-conversion"))) unsigned int ignorelist_2(signed int src) {
  32   // CHECK-SANITIZE-NOT: call
  33   // CHECK: }
  34   return src;
  35 }
  36
  37 // CHECK-LABEL: @ignorelist_3
  38 __attribute__((no_sanitize("implicit-integer-sign-change"))) unsigned int ignorelist_3(signed int src) {
  39   // CHECK-SANITIZE-NOT: call
  40   // CHECK: }
  41   return src;
  42 }
  43
  44 // Explicit sign-changing conversions.
  45 // ========================================================================== //
  46
  47 // CHECK-LABEL: @explicit_signed_int_to_unsigned_int
  48 unsigned int explicit_signed_int_to_unsigned_int(signed int src) {
  49   // CHECK-SANITIZE-NOT: call
  50   // CHECK: }
  51   return (unsigned int)src;
  52 }
  53
  54 // CHECK-LABEL: @explicit_unsigned_int_to_signed_int
  55 signed int explicit_unsigned_int_to_signed_int(unsigned int src) {
  56   // CHECK-SANITIZE-NOT: call
  57   // CHECK: }
  58   return (signed int)src;
  59 }
  60
  61 // Explicit NOP conversions.
  62 // ========================================================================== //
  63
  64 // CHECK-LABEL: @explicit_unsigned_int_to_unsigned_int
  65 unsigned int explicit_unsigned_int_to_unsigned_int(unsigned int src) {
  66   // CHECK-SANITIZE-NOT: call
  67   // CHECK: }
  68   return (unsigned int)src;
  69 }
  70
  71 // CHECK-LABEL: @explicit_signed_int_to_signed_int
  72 signed int explicit_signed_int_to_signed_int(signed int src) {
  73   // CHECK-SANITIZE-NOT: call
  74   // CHECK: }
  75   return (signed int)src;
  76 }
  77
  78 // Explicit functional sign-changing casts.
  79 // ========================================================================== //
  80
  81 using UnsignedInt = unsigned int;
  82 using SignedInt = signed int;
  83
  84 // CHECK-LABEL: explicit_functional_unsigned_int_to_signed_int
  85 signed int explicit_functional_unsigned_int_to_signed_int(unsigned int src) {
  86   // CHECK-SANITIZE-NOT: call
  87   // CHECK: }
  88   return SignedInt(src);
  89 }
  90
  91 // CHECK-LABEL: @explicit_functional_signed_int_to_unsigned_int
  92 unsigned int explicit_functional_signed_int_to_unsigned_int(signed int src) {
  93   // CHECK-SANITIZE-NOT: call
  94   // CHECK: }
  95   return UnsignedInt(src);
  96 }
  97
  98 // Explicit functional NOP casts.
  99 // ========================================================================== //
 100
 101 // CHECK-LABEL: @explicit_functional_unsigned_int_to_unsigned_int
 102 unsigned int explicit_functional_unsigned_int_to_unsigned_int(unsigned int src) {
 103   // CHECK-SANITIZE-NOT: call
 104   // CHECK: }
 105   return UnsignedInt(src);
 106 }
 107
 108 // CHECK-LABEL: @explicit_functional_signed_int_to_signed_int
 109 signed int explicit_functional_signed_int_to_signed_int(signed int src) {
 110   // CHECK-SANITIZE-NOT: call
 111   // CHECK: }
 112   return SignedInt(src);
 113 }
 114
 115 // Explicit C++-style sign-changing casts.
 116 // ========================================================================== //
 117
 118 // CHECK-LABEL: @explicit_cppstyle_unsigned_int_to_signed_int
 119 signed int explicit_cppstyle_unsigned_int_to_signed_int(unsigned int src) {
 120   // CHECK-SANITIZE-NOT: call
 121   // CHECK: }
 122   return static_cast<signed int>(src);
 123 }
 124
 125 // CHECK-LABEL: @explicit_cppstyle_signed_int_to_unsigned_int
 126 unsigned int explicit_cppstyle_signed_int_to_unsigned_int(signed int src) {
 127   // CHECK-SANITIZE-NOT: call
 128   // CHECK: }
 129   return static_cast<unsigned int>(src);
 130 }
 131
 132 // Explicit C++-style casts NOP casts.
 133 // ========================================================================== //
 134
 135 // CHECK-LABEL: @explicit_cppstyle_unsigned_int_to_unsigned_int
 136 unsigned int explicit_cppstyle_unsigned_int_to_unsigned_int(unsigned int src) {
 137   // CHECK-SANITIZE-NOT: call
 138   // CHECK: }
 139   return static_cast<unsigned int>(src);
 140 }
 141
 142 // CHECK-LABEL: @explicit_cppstyle_signed_int_to_signed_int
 143 signed int explicit_cppstyle_signed_int_to_signed_int(signed int src) {
 144   // CHECK-SANITIZE-NOT: call
 145   // CHECK: }
 146   return static_cast<signed int>(src);
 147 }
 148
 149 } // extern "C"