test/CodeGenCXX/cfi-vcall-check-after-args.cpp

   1 // RUN: %clang_cc1 -flto -flto-unit -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -emit-llvm -o - %s | FileCheck %s
   2
   3 struct A {
   4   virtual void f(int);
   5 };
   6
   7 int g();
   8 void f(A *a) {
   9   // CHECK: call i32 @_Z1gv()
  10   // CHECK: call i1 @llvm.type.test
  11   a->f(g());
  12 }