Unverified Commit cbfa2378 authored by Roman Lebedev's avatar Roman Lebedev
Browse files

Revert "[clang][CodeGen] Implicit Conversion Sanitizer: handle increment/decrement (PR44054)" 

The asssertion that was added does not hold,
breaks on test-suite/MultiSource/Applications/SPASS/analyze.c
Will reduce the testcase and revisit.

This reverts commit 9872ea4e, 870f3542.
parent 9f15fcc2

clang/docs/ReleaseNotes.rst

+0 −4
Original line number Diff line number Diff line
@@ -78,10 +78,6 @@ Non-comprehensive list of changes in this release 
  been extended to detect these cases, so that code relying on them can be

  detected and fixed.



* The Implicit Conversion Sanitizer (``-fsanitize=implicit-conversion``) has

  learned to sanitize pre/post increment/decrement of types with bit width

  smaller than ``int``.



- For X86 target, -march=skylake-avx512, -march=icelake-client,

  -march=icelake-server, -march=cascadelake, -march=cooperlake will default to

  not using 512-bit zmm registers in vectorized code unless 512-bit intrinsics

clang/lib/CodeGen/CGExprScalar.cpp

+3 −33
Original line number Diff line number Diff line
@@ -2419,39 +2419,9 @@ ScalarExprEmitter::EmitScalarPrePostIncDec(const UnaryOperator *E, LValue LV, 


  // Most common case by far: integer increment.

  } else if (type->isIntegerType()) {

    assert((!type->isPromotableIntegerType() ||

            (type->isSignedIntegerOrEnumerationType() ||

             CGF.getContext()

                 .getPromotedIntegerType(type)

                 ->isSignedIntegerOrEnumerationType())) &&

           "The following check expects that if we do promotion, at least one "

           "of the types (either base or promoted) will be signed.");

    if (CGF.SanOpts.hasOneOf(

            SanitizerKind::ImplicitIntegerArithmeticValueChange) &&

        type->isPromotableIntegerType()) {

      // While `x += 1` (for `x` with width less than int) is modeled as

      // promotion+arithmetics+demotion, and we can catch lossy demotion with

      // ease; inc/dec with width less than int can't overflow because of

      // promotion rules, so we omit promotion+demotion, which means that we can

      // not catch lossy "demotion". Because we still want to catch these cases

      // when the sanitizer is enabled, we perform the promotion, then perform

      // the increment/decrement in the wider type, and finally

      // perform the demotion. This will catch lossy demotions.



      QualType promotedType = CGF.getContext().getPromotedIntegerType(type);

      assert(promotedType != type && "Shouldn't promote to the same type.");

      value = EmitScalarConversion(value, type, promotedType, E->getExprLoc());

      Value *amt = llvm::ConstantInt::get(value->getType(), amount, true);

      value = Builder.CreateAdd(value, amt, isInc ? "inc" : "dec");

      // Do pass non-default ScalarConversionOpts so that sanitizer check is

      // emitted.

      value = EmitScalarConversion(value, promotedType, type, E->getExprLoc(),

                                   ScalarConversionOpts(CGF.SanOpts));



    // Note that signed integer inc/dec with width less than int can't

      // overflow because of promotion rules; we're just eliding a few steps

      // here.

    } else if (E->canOverflow() && type->isSignedIntegerOrEnumerationType()) {

    // overflow because of promotion rules; we're just eliding a few steps here.

    if (E->canOverflow() && type->isSignedIntegerOrEnumerationType()) {

      value = EmitIncDecConsiderOverflowBehavior(E, value, isInc);

    } else if (E->canOverflow() && type->isUnsignedIntegerType() &&

               CGF.SanOpts.has(SanitizerKind::UnsignedIntegerOverflow)) {

clang/test/CodeGen/catch-implicit-conversions-incdec-basics.c

deleted100644 → 0
+0 −139
Original line number Diff line number Diff line 
// RUN: %clang_cc1 -fsanitize=implicit-unsigned-integer-truncation,implicit-signed-integer-truncation,implicit-integer-sign-change -fsanitize-recover=implicit-unsigned-integer-truncation,implicit-signed-integer-truncation,implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_implicit_conversion" --check-prefixes=CHECK



// CHECK-DAG: @[[INT:.*]] = {{.*}} c"'int'\00" }

// CHECK-DAG: @[[UNSIGNED_SHORT:.*]] = {{.*}} c"'unsigned short'\00" }

// CHECK-DAG: @[[LINE_100:.*]] = {{.*}}, i32 100, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_200:.*]] = {{.*}}, i32 200, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_300:.*]] = {{.*}}, i32 300, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_400:.*]] = {{.*}}, i32 400, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[SHORT:.*]] = {{.*}} c"'short'\00" }

// CHECK-DAG: @[[LINE_500:.*]] = {{.*}}, i32 500, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_600:.*]] = {{.*}}, i32 600, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_700:.*]] = {{.*}}, i32 700, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_800:.*]] = {{.*}}, i32 800, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[UNSIGNED_CHAR:.*]] = {{.*}} c"'unsigned char'\00" }

// CHECK-DAG: @[[LINE_900:.*]] = {{.*}}, i32 900, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1000:.*]] = {{.*}}, i32 1000, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1100:.*]] = {{.*}}, i32 1100, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1200:.*]] = {{.*}}, i32 1200, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[SIGNED_CHAR:.*]] = {{.*}} c"'signed char'\00" }

// CHECK-DAG: @[[LINE_1300:.*]] = {{.*}}, i32 1300, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1400:.*]] = {{.*}}, i32 1400, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1500:.*]] = {{.*}}, i32 1500, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1600:.*]] = {{.*}}, i32 1600, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }



// CHECK-LABEL: @t0(

unsigned short t0(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_100]] to i8*)

#line 100

  x++;

  return x;

}

// CHECK-LABEL: @t1(

unsigned short t1(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_200]] to i8*)

#line 200

  x--;

  return x;

}

// CHECK-LABEL: @t2(

unsigned short t2(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_300]] to i8*)

#line 300

  ++x;

  return x;

}

// CHECK-LABEL: @t3(

unsigned short t3(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_400]] to i8*)

#line 400

  --x;

  return x;

}



// CHECK-LABEL: @t4(

signed short t4(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_500]] to i8*)

#line 500

  x++;

  return x;

}

// CHECK-LABEL: @t5(

signed short t5(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_600]] to i8*)

#line 600

  x--;

  return x;

}

// CHECK-LABEL: @t6(

signed short t6(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_700]] to i8*)

#line 700

  ++x;

  return x;

}

// CHECK-LABEL: @t7(

signed short t7(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_800]] to i8*)

#line 800

  --x;

  return x;

}



// CHECK-LABEL: @t8(

unsigned char t8(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_900]] to i8*)

#line 900

  x++;

  return x;

}

// CHECK-LABEL: @t9(

unsigned char t9(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1000]] to i8*)

#line 1000

  x--;

  return x;

}

// CHECK-LABEL: @t10(

unsigned char t10(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1100]] to i8*)

#line 1100

  ++x;

  return x;

}

// CHECK-LABEL: @t11(

unsigned char t11(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1200]] to i8*)

#line 1200

  --x;

  return x;

}



// CHECK-LABEL: @t12(

signed char t12(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1300]] to i8*)

#line 1300

  x++;

  return x;

}

// CHECK-LABEL: @t13(

signed char t13(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1400]] to i8*)

#line 1400

  x--;

  return x;

}

// CHECK-LABEL: @t14(

signed char t14(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1500]] to i8*)

#line 1500

  ++x;

  return x;

}

// CHECK-LABEL: @t15(

signed char t15(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1600]] to i8*)

#line 1600

  --x;

  return x;

}

clang/test/CodeGen/catch-implicit-integer-arithmetic-value-change-incdec-basics.c

deleted100644 → 0
+0 −139
Original line number Diff line number Diff line 
// RUN: %clang_cc1 -fsanitize=implicit-signed-integer-truncation,implicit-integer-sign-change -fsanitize-recover=implicit-signed-integer-truncation,implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_implicit_conversion" --check-prefixes=CHECK



// CHECK-DAG: @[[INT:.*]] = {{.*}} c"'int'\00" }

// CHECK-DAG: @[[UNSIGNED_SHORT:.*]] = {{.*}} c"'unsigned short'\00" }

// CHECK-DAG: @[[LINE_100:.*]] = {{.*}}, i32 100, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_200:.*]] = {{.*}}, i32 200, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_300:.*]] = {{.*}}, i32 300, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_400:.*]] = {{.*}}, i32 400, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[SHORT:.*]] = {{.*}} c"'short'\00" }

// CHECK-DAG: @[[LINE_500:.*]] = {{.*}}, i32 500, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_600:.*]] = {{.*}}, i32 600, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_700:.*]] = {{.*}}, i32 700, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_800:.*]] = {{.*}}, i32 800, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[UNSIGNED_CHAR:.*]] = {{.*}} c"'unsigned char'\00" }

// CHECK-DAG: @[[LINE_900:.*]] = {{.*}}, i32 900, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1000:.*]] = {{.*}}, i32 1000, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1100:.*]] = {{.*}}, i32 1100, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1200:.*]] = {{.*}}, i32 1200, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[SIGNED_CHAR:.*]] = {{.*}} c"'signed char'\00" }

// CHECK-DAG: @[[LINE_1300:.*]] = {{.*}}, i32 1300, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1400:.*]] = {{.*}}, i32 1400, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1500:.*]] = {{.*}}, i32 1500, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1600:.*]] = {{.*}}, i32 1600, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }



// CHECK-LABEL: @t0(

unsigned short t0(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_100]] to i8*)

#line 100

  x++;

  return x;

}

// CHECK-LABEL: @t1(

unsigned short t1(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_200]] to i8*)

#line 200

  x--;

  return x;

}

// CHECK-LABEL: @t2(

unsigned short t2(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_300]] to i8*)

#line 300

  ++x;

  return x;

}

// CHECK-LABEL: @t3(

unsigned short t3(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_400]] to i8*)

#line 400

  --x;

  return x;

}



// CHECK-LABEL: @t4(

signed short t4(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_500]] to i8*)

#line 500

  x++;

  return x;

}

// CHECK-LABEL: @t5(

signed short t5(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_600]] to i8*)

#line 600

  x--;

  return x;

}

// CHECK-LABEL: @t6(

signed short t6(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_700]] to i8*)

#line 700

  ++x;

  return x;

}

// CHECK-LABEL: @t7(

signed short t7(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_800]] to i8*)

#line 800

  --x;

  return x;

}



// CHECK-LABEL: @t8(

unsigned char t8(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_900]] to i8*)

#line 900

  x++;

  return x;

}

// CHECK-LABEL: @t9(

unsigned char t9(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1000]] to i8*)

#line 1000

  x--;

  return x;

}

// CHECK-LABEL: @t10(

unsigned char t10(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1100]] to i8*)

#line 1100

  ++x;

  return x;

}

// CHECK-LABEL: @t11(

unsigned char t11(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1200]] to i8*)

#line 1200

  --x;

  return x;

}



// CHECK-LABEL: @t12(

signed char t12(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1300]] to i8*)

#line 1300

  x++;

  return x;

}

// CHECK-LABEL: @t13(

signed char t13(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1400]] to i8*)

#line 1400

  x--;

  return x;

}

// CHECK-LABEL: @t14(

signed char t14(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1500]] to i8*)

#line 1500

  ++x;

  return x;

}

// CHECK-LABEL: @t15(

signed char t15(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1600]] to i8*)

#line 1600

  --x;

  return x;

}

clang/test/CodeGen/catch-implicit-integer-conversions-incdec-basics.c

deleted100644 → 0
+0 −139
Original line number Diff line number Diff line 
// RUN: %clang_cc1 -fsanitize=implicit-unsigned-integer-truncation,implicit-signed-integer-truncation,implicit-integer-sign-change -fsanitize-recover=implicit-unsigned-integer-truncation,implicit-signed-integer-truncation,implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_implicit_conversion" --check-prefixes=CHECK



// CHECK-DAG: @[[INT:.*]] = {{.*}} c"'int'\00" }

// CHECK-DAG: @[[UNSIGNED_SHORT:.*]] = {{.*}} c"'unsigned short'\00" }

// CHECK-DAG: @[[LINE_100:.*]] = {{.*}}, i32 100, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_200:.*]] = {{.*}}, i32 200, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_300:.*]] = {{.*}}, i32 300, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_400:.*]] = {{.*}}, i32 400, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_SHORT]], i8 2 }

// CHECK-DAG: @[[SHORT:.*]] = {{.*}} c"'short'\00" }

// CHECK-DAG: @[[LINE_500:.*]] = {{.*}}, i32 500, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_600:.*]] = {{.*}}, i32 600, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_700:.*]] = {{.*}}, i32 700, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[LINE_800:.*]] = {{.*}}, i32 800, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SHORT]], i8 2 }

// CHECK-DAG: @[[UNSIGNED_CHAR:.*]] = {{.*}} c"'unsigned char'\00" }

// CHECK-DAG: @[[LINE_900:.*]] = {{.*}}, i32 900, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1000:.*]] = {{.*}}, i32 1000, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1100:.*]] = {{.*}}, i32 1100, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1200:.*]] = {{.*}}, i32 1200, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[UNSIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[SIGNED_CHAR:.*]] = {{.*}} c"'signed char'\00" }

// CHECK-DAG: @[[LINE_1300:.*]] = {{.*}}, i32 1300, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1400:.*]] = {{.*}}, i32 1400, i32 4 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1500:.*]] = {{.*}}, i32 1500, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }

// CHECK-DAG: @[[LINE_1600:.*]] = {{.*}}, i32 1600, i32 3 }, {{.*}}* @[[INT]], {{.*}}* @[[SIGNED_CHAR]], i8 2 }



// CHECK-LABEL: @t0(

unsigned short t0(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_100]] to i8*)

#line 100

  x++;

  return x;

}

// CHECK-LABEL: @t1(

unsigned short t1(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_200]] to i8*)

#line 200

  x--;

  return x;

}

// CHECK-LABEL: @t2(

unsigned short t2(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_300]] to i8*)

#line 300

  ++x;

  return x;

}

// CHECK-LABEL: @t3(

unsigned short t3(unsigned short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_400]] to i8*)

#line 400

  --x;

  return x;

}



// CHECK-LABEL: @t4(

signed short t4(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_500]] to i8*)

#line 500

  x++;

  return x;

}

// CHECK-LABEL: @t5(

signed short t5(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_600]] to i8*)

#line 600

  x--;

  return x;

}

// CHECK-LABEL: @t6(

signed short t6(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_700]] to i8*)

#line 700

  ++x;

  return x;

}

// CHECK-LABEL: @t7(

signed short t7(signed short x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_800]] to i8*)

#line 800

  --x;

  return x;

}



// CHECK-LABEL: @t8(

unsigned char t8(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_900]] to i8*)

#line 900

  x++;

  return x;

}

// CHECK-LABEL: @t9(

unsigned char t9(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1000]] to i8*)

#line 1000

  x--;

  return x;

}

// CHECK-LABEL: @t10(

unsigned char t10(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1100]] to i8*)

#line 1100

  ++x;

  return x;

}

// CHECK-LABEL: @t11(

unsigned char t11(unsigned char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1200]] to i8*)

#line 1200

  --x;

  return x;

}



// CHECK-LABEL: @t12(

signed char t12(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1300]] to i8*)

#line 1300

  x++;

  return x;

}

// CHECK-LABEL: @t13(

signed char t13(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1400]] to i8*)

#line 1400

  x--;

  return x;

}

// CHECK-LABEL: @t14(

signed char t14(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1500]] to i8*)

#line 1500

  ++x;

  return x;

}

// CHECK-LABEL: @t15(

signed char t15(signed char x) {

  // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_1600]] to i8*)

#line 1600

  --x;

  return x;

}