clang/test/SemaTemplate/make_integer_seq.cpp

   1 // RUN: %clang_cc1 -std=c++23 -triple x86_64-linux-gnu -ast-dump -verify -xc++ < %s | FileCheck %s
   2
   3 template <class A1, A1... A2> struct A {};
   4
   5 using test1 = __make_integer_seq<A, int, 1>;
   6 //      CHECK: |-TypeAliasDecl 0x{{[0-9A-Fa-f]+}} <line:5:1, col:43> col:7 test1 '__make_integer_seq<A, int, 1>':'A<int, 0>'
   7 // CHECK-NEXT:   `-ElaboratedType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, int, 1>' sugar
   8 // CHECK-NEXT:     `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, int, 1>' sugar alias
   9 // CHECK-NEXT:       |-name: '__make_integer_seq' qualified
  10 // CHECK-NEXT:       | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
  11 // CHECK-NEXT:       |-TemplateArgument template 'A'
  12 // CHECK-NEXT:       | `-ClassTemplateDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:1, col:41> col:38 A
  13 // CHECK-NEXT:       |-TemplateArgument type 'int'
  14 // CHECK-NEXT:       | `-BuiltinType 0x{{[0-9A-Fa-f]+}} 'int'
  15 // CHECK-NEXT:       |-TemplateArgument expr '1'
  16 // CHECK-NEXT:       | `-ConstantExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:42> 'int'
  17 // CHECK-NEXT:       |   |-value: Int 1
  18 // CHECK-NEXT:       |   `-IntegerLiteral 0x{{[0-9A-Fa-f]+}} <col:42> 'int' 1
  19 // CHECK-NEXT:       `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} 'A<int, 0>' sugar
  20 // CHECK-NEXT:         |-name: 'A' qualified
  21 // CHECK-NEXT:         | `-ClassTemplateDecl {{.+}} A
  22 // CHECK-NEXT:         |-TemplateArgument type 'int'
  23 // CHECK-NEXT:         | `-BuiltinType 0x{{[0-9A-Fa-f]+}} 'int'
  24 // CHECK-NEXT:         |-TemplateArgument expr '0'
  25 // CHECK-NEXT:         | `-ConstantExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:42> 'int'
  26 // CHECK-NEXT:         |   |-value: Int 0
  27 // CHECK-NEXT:         |   `-IntegerLiteral 0x{{[0-9A-Fa-f]+}} <col:42> 'int' 0
  28 // CHECK-NEXT:         `-RecordType 0x{{[0-9A-Fa-f]+}} 'A<int, 0>'
  29 // CHECK-NEXT:           `-ClassTemplateSpecialization 0x{{[0-9A-Fa-f]+}} 'A'
  30
  31 template <class B1, B1 B2> using B = __make_integer_seq<A, B1, B2>;
  32 using test2 = B<int, 1>;
  33 //      CHECK: |-TypeAliasDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:1, col:23> col:7 test2 'B<int, 1>':'A<int, 0>'
  34 // CHECK-NEXT:   `-ElaboratedType 0x{{[0-9A-Fa-f]+}} 'B<int, 1>' sugar
  35 // CHECK-NEXT:     `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} 'B<int, 1>' sugar alias
  36 // CHECK-NEXT:       |-name: 'B' qualified
  37 // CHECK-NEXT:       | `-TypeAliasTemplateDecl {{.+}} B
  38 // CHECK-NEXT:       |-TemplateArgument type 'int'
  39 // CHECK-NEXT:       | `-BuiltinType 0x{{[0-9A-Fa-f]+}} 'int'
  40 // CHECK-NEXT:       |-TemplateArgument expr '1'
  41 // CHECK-NEXT:       | `-ConstantExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:22> 'int'
  42 // CHECK-NEXT:       |   |-value: Int 1
  43 // CHECK-NEXT:       |   `-IntegerLiteral 0x{{[0-9A-Fa-f]+}} <col:22> 'int' 1
  44 // CHECK-NEXT:       `-ElaboratedType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, int, 1>' sugar
  45 // CHECK-NEXT:         `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, int, 1>' sugar alias
  46 // CHECK-NEXT:           |-name: '__make_integer_seq' qualified
  47 // CHECK-NEXT:           | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
  48 // CHECK-NEXT:           |-TemplateArgument template 'A'
  49 // CHECK-NEXT:           | `-ClassTemplateDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:1, col:41> col:38 A
  50 // CHECK-NEXT:           |-TemplateArgument type 'int'
  51 // CHECK-NEXT:           | `-SubstTemplateTypeParmType 0x{{[0-9A-Fa-f]+}} 'int' sugar class depth 0 index 0 B1
  52 // CHECK-NEXT:           |   |-TypeAliasTemplate 0x{{[0-9A-Fa-f]+}} 'B'
  53 // CHECK-NEXT:           |   `-BuiltinType 0x{{[0-9A-Fa-f]+}} 'int'
  54 // CHECK-NEXT:           |-TemplateArgument expr '1'
  55 // CHECK-NEXT:           | `-ConstantExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:64> 'int'
  56 // CHECK-NEXT:           |   |-value: Int 1
  57 // CHECK-NEXT:           |   `-SubstNonTypeTemplateParmExpr 0x{{[0-9A-Fa-f]+}} <col:64> 'int'
  58 // CHECK-NEXT:           |     |-NonTypeTemplateParmDecl 0x{{[0-9A-Fa-f]+}} <col:21, col:24> col:24 referenced 'B1' depth 0 index 1 B2
  59 // CHECK-NEXT:           |     `-IntegerLiteral 0x{{[0-9A-Fa-f]+}} <col:64> 'int' 1
  60 // CHECK-NEXT:           `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} 'A<int, 0>' sugar
  61 // CHECK-NEXT:             |-name: 'A' qualified
  62 // CHECK-NEXT:             | `-ClassTemplateDecl {{.+}} A
  63 // CHECK-NEXT:             |-TemplateArgument type 'int'
  64 // CHECK-NEXT:             | `-SubstTemplateTypeParmType 0x{{[0-9A-Fa-f]+}} 'int' sugar class depth 0 index 0 B1
  65 // CHECK-NEXT:             |   |-TypeAliasTemplate 0x{{[0-9A-Fa-f]+}} 'B'
  66 // CHECK-NEXT:             |   `-BuiltinType 0x{{[0-9A-Fa-f]+}} 'int'
  67 // CHECK-NEXT:             |-TemplateArgument expr '0'
  68 // CHECK-NEXT:             | `-ConstantExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:64> 'int'
  69 // CHECK-NEXT:             |   |-value: Int 0
  70 // CHECK-NEXT:             |   `-IntegerLiteral 0x{{[0-9A-Fa-f]+}} <col:64> 'int' 0
  71 // CHECK-NEXT:             `-RecordType 0x{{[0-9A-Fa-f]+}} 'A<int, 0>'
  72 // CHECK-NEXT:               `-ClassTemplateSpecialization 0x{{[0-9A-Fa-f]+}} 'A'
  73
  74 template <template <class T, T...> class S, class T, int N> struct C {
  75   using test3 = __make_integer_seq<S, T, N>;
  76 //      CHECK: |-TypeAliasDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:3, col:43> col:9 test3 '__make_integer_seq<S, T, N>':'__make_integer_seq<template-parameter-0-0, type-parameter-0-1, N>'
  77 // CHECK-NEXT:   `-ElaboratedType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<S, T, N>' sugar dependent
  78 // CHECK-NEXT:     `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<S, T, N>' sugar dependent alias
  79 // CHECK-NEXT:       |-name: '__make_integer_seq' qualified
  80 // CHECK-NEXT:       | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
  81 // CHECK-NEXT:       |-TemplateArgument template 'S'
  82 // CHECK-NEXT:       | | `-TemplateTemplateParmDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:11, col:42> col:42 depth 0 index 0 S
  83 // CHECK-NEXT:       |-TemplateArgument type 'T'
  84 // CHECK-NEXT:       | `-TemplateTypeParmType 0x{{[0-9A-Fa-f]+}} 'T' dependent depth 0 index 1
  85 // CHECK-NEXT:       |   `-TemplateTypeParm 0x{{[0-9A-Fa-f]+}} 'T'
  86 // CHECK-NEXT:       |-TemplateArgument expr 'N'
  87 // CHECK-NEXT:       | `-ImplicitCastExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:42> 'T' <Dependent>
  88 // CHECK-NEXT:       |   `-DeclRefExpr 0x{{[0-9A-Fa-f]+}} <col:42> 'int' NonTypeTemplateParm 0x{{[0-9A-Fa-f]+}} 'N' 'int'
  89 // CHECK-NEXT:       `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<template-parameter-0-0, type-parameter-0-1, N>' dependent
  90 // CHECK-NEXT:         |-name: '__make_integer_seq'
  91 // CHECK-NEXT:         | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
  92 // CHECK-NEXT:         |-TemplateArgument template 'template-parameter-0-0'
  93 // CHECK-NEXT:         | `-TemplateTemplateParmDecl 0x{{[0-9A-Fa-f]+}} <<invalid sloc>> <invalid sloc> depth 0 index 0
  94 // CHECK-NEXT:         |-TemplateArgument type 'type-parameter-0-1'
  95 // CHECK-NEXT:         | `-TemplateTypeParmType 0x{{[0-9A-Fa-f]+}} 'type-parameter-0-1' dependent depth 0 index 1
  96 // CHECK-NEXT:         `-TemplateArgument expr 'N'
  97 // CHECK-NEXT:           `-ImplicitCastExpr 0x{{[0-9A-Fa-f]+}} <col:42> 'T' <Dependent>
  98 // CHECK-NEXT:             `-DeclRefExpr 0x{{[0-9A-Fa-f]+}} <col:42> 'int' NonTypeTemplateParm 0x{{[0-9A-Fa-f]+}} 'N' 'int'
  99
 100   using test4 = __make_integer_seq<A, T, 1>;
 101 //      CHECK: |-TypeAliasDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:3, col:43> col:9 test4 '__make_integer_seq<A, T, 1>':'__make_integer_seq<A, type-parameter-0-1, 1>'
 102 // CHECK-NEXT:   `-ElaboratedType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, T, 1>' sugar dependent
 103 // CHECK-NEXT:     `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, T, 1>' sugar dependent alias
 104 // CHECK-NEXT:       |-name: '__make_integer_seq' qualified
 105 // CHECK-NEXT:       | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
 106 // CHECK-NEXT:       |-TemplateArgument template 'A'
 107 // CHECK-NEXT:       | `-ClassTemplateDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:1, col:41> col:38 A
 108 // CHECK-NEXT:       |-TemplateArgument type 'T'
 109 // CHECK-NEXT:       | `-TemplateTypeParmType 0x{{[0-9A-Fa-f]+}} 'T' dependent depth 0 index 1
 110 // CHECK-NEXT:       |   `-TemplateTypeParm 0x{{[0-9A-Fa-f]+}} 'T'
 111 // CHECK-NEXT:       |-TemplateArgument expr '1'
 112 // CHECK-NEXT:       | `-ImplicitCastExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:42> 'T' <Dependent>
 113 // CHECK-NEXT:       |   `-IntegerLiteral 0x{{[0-9A-Fa-f]+}} <col:42> 'int' 1
 114 // CHECK-NEXT:       `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, type-parameter-0-1, 1>' dependent
 115 // CHECK-NEXT:         |-name: '__make_integer_seq'
 116 // CHECK-NEXT:         | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
 117 // CHECK-NEXT:         |-TemplateArgument template 'A'
 118 // CHECK-NEXT:         | `-ClassTemplateDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:1, col:41> col:38 A
 119 // CHECK-NEXT:         |-TemplateArgument type 'type-parameter-0-1'
 120 // CHECK-NEXT:         | `-TemplateTypeParmType 0x{{[0-9A-Fa-f]+}} 'type-parameter-0-1' dependent depth 0 index 1
 121 // CHECK-NEXT:         `-TemplateArgument expr '1'
 122 // CHECK-NEXT:           `-ImplicitCastExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:42> 'T' <Dependent>
 123 // CHECK-NEXT:             `-IntegerLiteral 0x{{[0-9A-Fa-f]+}} <col:42> 'int' 1
 124
 125   using test5 = __make_integer_seq<A, int, N>;
 126 //      CHECK: `-TypeAliasDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:3, col:45> col:9 test5 '__make_integer_seq<A, int, N>'
 127 // CHECK-NEXT:   `-ElaboratedType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, int, N>' sugar dependent
 128 // CHECK-NEXT:     `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, int, N>' sugar dependent alias
 129 // CHECK-NEXT:       |-name: '__make_integer_seq' qualified
 130 // CHECK-NEXT:       | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
 131 // CHECK-NEXT:       |-TemplateArgument template 'A'
 132 // CHECK-NEXT:       | `-ClassTemplateDecl 0x{{.+}} <line:{{.+}}:1, col:41> col:38 A
 133 // CHECK-NEXT:       |-TemplateArgument type 'int'
 134 // CHECK-NEXT:       | `-BuiltinType 0x{{[0-9A-Fa-f]+}} 'int'
 135 // CHECK-NEXT:       |-TemplateArgument expr 'N'
 136 // CHECK-NEXT:       | `-DeclRefExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:44> 'int' NonTypeTemplateParm 0x{{[0-9A-Fa-f]+}} 'N' 'int'
 137 // CHECK-NEXT:       `-TemplateSpecializationType 0x{{[0-9A-Fa-f]+}} '__make_integer_seq<A, int, N>' dependent
 138 // CHECK-NEXT:         |-name: '__make_integer_seq'
 139 // CHECK-NEXT:         | `-BuiltinTemplateDecl {{.+}} __make_integer_seq
 140 // CHECK-NEXT:         |-TemplateArgument template 'A'
 141 // CHECK-NEXT:         | `-ClassTemplateDecl 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:1, col:41> col:38 A
 142 // CHECK-NEXT:         |-TemplateArgument type 'int'
 143 // CHECK-NEXT:         | `-BuiltinType 0x{{[0-9A-Fa-f]+}} 'int'
 144 // CHECK-NEXT:         `-TemplateArgument expr 'N'
 145 // CHECK-NEXT:           `-DeclRefExpr 0x{{[0-9A-Fa-f]+}} <line:{{.+}}:44> 'int' NonTypeTemplateParm 0x{{[0-9A-Fa-f]+}} 'N' 'int'
 146 };
 147
 148 // expected-no-diagnostics
 149
 150 template <class T, class S> struct D;
 151 template <class T> struct D<T, __make_integer_seq<A, int, sizeof(T)>> {};
 152 template struct D<char, A<int, 0>>;
 153
 154 template <class T, class S> struct E;
 155 template <class T> struct E<T, __make_integer_seq<A, T, 2>> {};
 156 template struct E<short, A<short, 0, 1>>;
 157
 158 template <template <class A1, A1... A2> class T, class S> struct F;
 159 template <template <class A1, A1... A2> class T> struct F<T, __make_integer_seq<T, long, 3>> {};
 160 template struct F<A, A<long, 0, 1, 2>>;
 161
 162 template <class T> struct G;
 163 template <class T> struct G<__make_integer_seq<A, T, 1>> {};
 164 template <class T> struct G<__make_integer_seq<A, T, 1U>> {};
 165
 166 template <int S, class = __make_integer_seq<A, int, S>> struct H;
 167 template <int S, int... Is> struct H<S, A<int, Is...>> { };
 168
 169 template <int S> void h(H<S>);
 170 void test_h() { h(H<5>{}); }