34 lines · cpp
1// RUN: clang-import-test -dump-ast -import %S/Inputs/S.cpp -expression %s -Xcc -DSEQ | FileCheck --check-prefix=CHECK-SEQ %s2// RUN: clang-import-test -dump-ast -import %S/Inputs/S.cpp -expression %s -Xcc -DPACK | FileCheck --check-prefix=CHECK-PACK %s3// RUN: clang-import-test -dump-ast -import %S/Inputs/S.cpp -expression %s -Xcc -DDEDUP | FileCheck --check-prefix=CHECK-DEDUP %s4// RUN: clang-import-test -dump-ast -import %S/Inputs/S.cpp -expression %s -Xcc -DPACK -Xcc -DSEQ -Xcc -DDEDUP | FileCheck --check-prefixes=CHECK-SEQ,CHECK-PACK,CHECK-DEDUP %s5 6// CHECK-SEQ: BuiltinTemplateDecl {{.+}} <<invalid sloc>> <invalid sloc> implicit __make_integer_seq{{$}}7// CHECK-PACK: BuiltinTemplateDecl {{.+}} <<invalid sloc>> <invalid sloc> implicit __type_pack_element{{$}}8// CHECK-DEDUP: BuiltinTemplateDecl {{.+}} <<invalid sloc>> <invalid sloc> implicit __builtin_dedup_pack{{$}}9 10void expr() {11#ifdef SEQ12 typedef MakeSeq<int, 3> M1;13 M1 m1;14 typedef MakeSeq<long, 4> M2;15 M2 m2;16 static_assert(M1::PackSize == 3, "");17 static_assert(M2::PackSize == 4, "");18#endif19 20#ifdef PACK21 static_assert(__is_same(TypePackElement<0, X<0>>, X<0>), "");22 static_assert(__is_same(TypePackElement<0, X<0>, X<1>>, X<0>), "");23 static_assert(__is_same(TypePackElement<1, X<0>, X<1>>, X<1>), "");24#endif25 26#ifdef DEDUP27 static_assert(__is_same(TypePackDedup<TypeList>, TypeList<>), "");28 static_assert(__is_same(TypePackDedup<TypeList, int, double, int>, TypeList<int, double>), "");29 static_assert(!__is_same(TypePackDedup<TypeList, int, double, int>, TypeList<double, int>), "");30 static_assert(__is_same(TypePackDedup<TypeList, X<0>, X<1>, X<1>, X<2>, X<0>>, TypeList<X<0>, X<1>, X<2>>), "");31 static_assert(__is_same(TypePackDedup<TypeList, X0, SameAsX<1>, X<1>, X<0>>, TypeList<X<0>,X<1>>), "");32#endif33}34