xref: /llvm-project/clang/test/Import/builtin-template/test.cpp (revision 3cabbf60393cc8d55fe635e35e89e5973162de33)
1 // RUN: clang-import-test -dump-ast -import %S/Inputs/S.cpp -expression %s -Xcc -DSEQ | FileCheck --check-prefix=CHECK-SEQ %s
2 // RUN: clang-import-test -dump-ast -import %S/Inputs/S.cpp -expression %s -Xcc -DPACK | FileCheck --check-prefix=CHECK-PACK %s
3 // RUN: clang-import-test -dump-ast -import %S/Inputs/S.cpp -expression %s -Xcc -DPACK -Xcc -DSEQ | FileCheck --check-prefixes=CHECK-SEQ,CHECK-PACK %s
4 
5 // CHECK-SEQ:  BuiltinTemplateDecl {{.+}} <<invalid sloc>> <invalid sloc> implicit __make_integer_seq{{$}}
6 // CHECK-PACK: BuiltinTemplateDecl {{.+}} <<invalid sloc>> <invalid sloc> implicit __type_pack_element{{$}}
7 
expr()8 void expr() {
9 #ifdef SEQ
10   typedef MakeSeq<int, 3> M1;
11   M1 m1;
12   typedef MakeSeq<long, 4> M2;
13   M2 m2;
14   static_assert(M1::PackSize == 3, "");
15   static_assert(M2::PackSize == 4, "");
16 #endif
17 
18 #ifdef PACK
19   static_assert(__is_same(TypePackElement<0, X<0>>, X<0>), "");
20   static_assert(__is_same(TypePackElement<0, X<0>, X<1>>, X<0>), "");
21   static_assert(__is_same(TypePackElement<1, X<0>, X<1>>, X<1>), "");
22 #endif
23 }
24