src/test/codegen/sanitizer_cfi_emit_type_checks.rs

   1 // Verifies that pointer type membership tests for indirect calls are emitted.
   2 //
   3 // ignore-windows
   4 // needs-sanitizer-cfi
   5 // only-aarch64
   6 // only-x86_64
   7 // compile-flags: -Clto -Cno-prepopulate-passes -Zsanitizer=cfi
   8
   9 #![crate_type="lib"]
  10
  11 pub fn foo(f: fn(i32) -> i32, arg: i32) -> i32 {
  12     // CHECK-LABEL: define{{.*}}foo{{.*}}!type !{{[0-9]+}}
  13     // CHECK:       start:
  14     // CHECK-NEXT:  %0 = bitcast i32 (i32)* %f to i8*
  15     // CHECK-NEXT:  %1 = call i1 @llvm.type.test(i8* %0, metadata !"{{[[:print:]]+}}")
  16     // CHECK-NEXT:  br i1 %1, label %type_test.pass, label %type_test.fail
  17     // CHECK:       type_test.pass:
  18     // CHECK-NEXT:  %2 = call i32 %f(i32 %arg)
  19     // CHECK-NEXT:  br label %bb1
  20     // CHECK:       type_test.fail:
  21     // CHECK-NEXT:  call void @llvm.trap()
  22     // CHECK-NEXT:  unreachable
  23     f(arg)
  24 }