| 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 | } |
| 13 |