clang/test/CodeGenCXX/debug-info-template-partial-specialization.cpp

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