| Peter Collingbourne | ea21100 | 2018-02-05 23:09:13 +0000 | [diff] [blame] | 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 | } | ||||