1 // RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -emit-llvm -std=c++11 -o - | FileCheck %s
2 #include <typeinfo>
3
4 namespace Test1 {
5
6 struct Item {
7 const std::type_info &ti;
8 const char *name;
9 void *(*make)();
10 };
11
make_impl()12 template<typename T> void *make_impl() { return new T; }
item(const char * name)13 template<typename T> constexpr Item item(const char *name) {
14 return { typeid(T), name, make_impl<T> };
15 }
16
17 struct A { virtual ~A(); };
18 struct B : virtual A {};
19 struct C { int n; };
20
21 // CHECK: @_ZN5Test15itemsE ={{.*}} constant [4 x {{.*}}] [{{.*}} @_ZTIN5Test11AE, {{.*}} @_ZN5Test19make_implINS_1AEEEPvv {{.*}} @_ZTIN5Test11BE, {{.*}} @_ZN5Test19make_implINS_1BEEEPvv {{.*}} @_ZTIN5Test11CE, {{.*}} @_ZN5Test19make_implINS_1CEEEPvv {{.*}} @_ZTIi, {{.*}} @_ZN5Test19make_implIiEEPvv }]
22 extern constexpr Item items[] = {
23 item<A>("A"), item<B>("B"), item<C>("C"), item<int>("int")
24 };
25
26 // CHECK: @_ZN5Test11xE ={{.*}} constant ptr @_ZTIN5Test11AE, align 8
27 constexpr auto &x = items[0].ti;
28
29 // CHECK: @_ZN5Test11yE ={{.*}} constant ptr @_ZTIN5Test11BE, align 8
30 constexpr auto &y = typeid(B{});
31
32 }
33