12 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-linux -fsanitize=cfi-icall -emit-llvm -std=c++17 -o - %s | FileCheck %s2 3// Tests that exception specifiers are stripped when forming the4// mangled CFI type name.5 6void f() noexcept {}7 8// CHECK: define{{.*}} void @_Z1fv({{.*}} !type [[TS1:![0-9]+]] !type [[TS2:![0-9]+]]9 10// CHECK: [[TS1]] = !{i64 0, !"_ZTSFvvE"}11// CHECK: [[TS2]] = !{i64 0, !"_ZTSFvvE.generalized"}12