1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2*67e74705SXin Li
3*67e74705SXin Li static_assert(__has_builtin(__make_integer_seq), "");
4*67e74705SXin Li
5*67e74705SXin Li template <class T, T... I>
6*67e74705SXin Li struct Seq {
7*67e74705SXin Li static constexpr T PackSize = sizeof...(I);
8*67e74705SXin Li };
9*67e74705SXin Li
10*67e74705SXin Li template <typename T, T N>
11*67e74705SXin Li using MakeSeq = __make_integer_seq<Seq, T, N>;
12*67e74705SXin Li
13*67e74705SXin Li static_assert(__is_same(MakeSeq<int, 0>, Seq<int>), "");
14*67e74705SXin Li static_assert(__is_same(MakeSeq<int, 1>, Seq<int, 0>), "");
15*67e74705SXin Li static_assert(__is_same(MakeSeq<int, 2>, Seq<int, 0, 1>), "");
16*67e74705SXin Li static_assert(__is_same(MakeSeq<int, 3>, Seq<int, 0, 1, 2>), "");
17*67e74705SXin Li static_assert(__is_same(MakeSeq<int, 4>, Seq<int, 0, 1, 2, 3>), "");
18*67e74705SXin Li
19*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned int, 0U>, Seq<unsigned int>), "");
20*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned int, 1U>, Seq<unsigned int, 0U>), "");
21*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned int, 2U>, Seq<unsigned int, 0U, 1U>), "");
22*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned int, 3U>, Seq<unsigned int, 0U, 1U, 2U>), "");
23*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned int, 4U>, Seq<unsigned int, 0U, 1U, 2U, 3U>), "");
24*67e74705SXin Li
25*67e74705SXin Li static_assert(__is_same(MakeSeq<long long, 0LL>, Seq<long long>), "");
26*67e74705SXin Li static_assert(__is_same(MakeSeq<long long, 1LL>, Seq<long long, 0LL>), "");
27*67e74705SXin Li static_assert(__is_same(MakeSeq<long long, 2LL>, Seq<long long, 0LL, 1LL>), "");
28*67e74705SXin Li static_assert(__is_same(MakeSeq<long long, 3LL>, Seq<long long, 0LL, 1LL, 2LL>), "");
29*67e74705SXin Li static_assert(__is_same(MakeSeq<long long, 4LL>, Seq<long long, 0LL, 1LL, 2LL, 3LL>), "");
30*67e74705SXin Li
31*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned long long, 0ULL>, Seq<unsigned long long>), "");
32*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned long long, 1ULL>, Seq<unsigned long long, 0ULL>), "");
33*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned long long, 2ULL>, Seq<unsigned long long, 0ULL, 1ULL>), "");
34*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned long long, 3ULL>, Seq<unsigned long long, 0ULL, 1ULL, 2ULL>), "");
35*67e74705SXin Li static_assert(__is_same(MakeSeq<unsigned long long, 4ULL>, Seq<unsigned long long, 0ULL, 1ULL, 2ULL, 3ULL>), "");
36*67e74705SXin Li
37*67e74705SXin Li template <typename T, T N>
38*67e74705SXin Li using ErrorSeq = __make_integer_seq<Seq, T, N>; // expected-error{{must have non-negative sequence length}} \
39*67e74705SXin Li expected-error{{must have integral element type}}
40*67e74705SXin Li
41*67e74705SXin Li enum Color : int { Red,
42*67e74705SXin Li Green,
43*67e74705SXin Li Blue };
44*67e74705SXin Li using illformed1 = ErrorSeq<Color, Blue>; // expected-note{{in instantiation}}
45*67e74705SXin Li
46*67e74705SXin Li using illformed2 = ErrorSeq<int, -5>;
47*67e74705SXin Li
f()48*67e74705SXin Li template <typename T, T N> void f() {}
49*67e74705SXin Li __make_integer_seq<f, int, 0> x; // expected-error{{template template parameter must be a class template or type alias template}}
50*67e74705SXin Li
51*67e74705SXin Li __make_integer_seq<__make_integer_seq, int, 10> PR28494; // expected-error{{different template parameters}}
52*67e74705SXin Li // expected-note@make_integer_seq.cpp:* {{template parameter has a different kind}}
53*67e74705SXin Li // expected-note@make_integer_seq.cpp:* {{previous template template parameter is here}}
54