1 // RUN: %clang_cc1 -emit-llvm -triple %itanium_abi_triple %s -o - -debug-info-kind=standalone | FileCheck %s
2 namespace __pointer_type_imp
3 {
4   template <class _Tp, class _Dp, bool > struct __pointer_type1 {};
5 
6   // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "__pointer_type1<C, default_delete<C>, false>",
7   // CHECK-SAME:             templateParams: ![[PARAMS:[0-9]+]]
8   // CHECK-SAME:             identifier: "_ZTSN18__pointer_type_imp15__pointer_type1I1C14default_deleteIS1_ELb0EEE"
9   template <class _Tp, class _Dp> struct __pointer_type1<_Tp, _Dp, false>
10   {
11     typedef _Tp* type;
12   };
13 }
14 template <class _Tp, class _Dp>
15 struct __pointer_type2
16 {
17   // Test that the bool template type parameter is emitted.
18   //
19   // CHECK: ![[PARAMS]] = !{!{{.*}}, !{{.*}}, ![[FALSE:[0-9]+]]}
20   // CHECK: ![[FALSE]] = !DITemplateValueParameter(type: !{{[0-9]+}}, value: i8 0)
21   typedef typename __pointer_type_imp::__pointer_type1<_Tp, _Dp, false>::type type;
22 };
23 template <class _Tp> struct default_delete {};
24 template <class _Tp, class _Dp = default_delete<_Tp> > class unique_ptr
25 {
26   typedef typename __pointer_type2<_Tp, _Dp>::type pointer;
unique_ptr(pointer __p,_Dp __d)27   unique_ptr(pointer __p, _Dp __d) {}
28 };
29 class C {
30   unique_ptr<C> Ptr;
31 };
foo(C & c)32 void foo(C &c) {
33 }
34