15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
35a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
45a83710eSEric Fiselier //
55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
75a83710eSEric Fiselier //
85a83710eSEric Fiselier //===----------------------------------------------------------------------===//
95a83710eSEric Fiselier 
105a83710eSEric Fiselier // <array>
115a83710eSEric Fiselier 
125a83710eSEric Fiselier // template <size_t I, class T, size_t N> T& get(array<T, N>& a);
135a83710eSEric Fiselier 
145a83710eSEric Fiselier #include <array>
155a83710eSEric Fiselier #include <cassert>
165a83710eSEric Fiselier 
17*2decfad7SEric Fiselier #include "test_macros.h"
18*2decfad7SEric Fiselier 
19*2decfad7SEric Fiselier #include "../suppress_array_warnings.h"
20*2decfad7SEric Fiselier 
21*2decfad7SEric Fiselier 
22*2decfad7SEric Fiselier #if TEST_STD_VER > 11
235a83710eSEric Fiselier struct S {
245a83710eSEric Fiselier    std::array<int, 3> a;
255a83710eSEric Fiselier    int k;
265a83710eSEric Fiselier    constexpr S() : a{1,2,3}, k(std::get<2>(a)) {}
275a83710eSEric Fiselier };
285a83710eSEric Fiselier 
295a83710eSEric Fiselier constexpr std::array<int, 2> getArr () { return { 3, 4 }; }
305a83710eSEric Fiselier #endif
315a83710eSEric Fiselier 
325a83710eSEric Fiselier int main()
335a83710eSEric Fiselier {
345a83710eSEric Fiselier     {
355a83710eSEric Fiselier         typedef double T;
365a83710eSEric Fiselier         typedef std::array<T, 3> C;
375a83710eSEric Fiselier         C c = {1, 2, 3.5};
385a83710eSEric Fiselier         std::get<1>(c) = 5.5;
395a83710eSEric Fiselier         assert(c[0] == 1);
405a83710eSEric Fiselier         assert(c[1] == 5.5);
415a83710eSEric Fiselier         assert(c[2] == 3.5);
425a83710eSEric Fiselier     }
43*2decfad7SEric Fiselier #if TEST_STD_VER > 11
445a83710eSEric Fiselier     {
455a83710eSEric Fiselier         typedef double T;
465a83710eSEric Fiselier         typedef std::array<T, 3> C;
475a83710eSEric Fiselier         constexpr C c = {1, 2, 3.5};
485a83710eSEric Fiselier         static_assert(std::get<0>(c) == 1, "");
495a83710eSEric Fiselier         static_assert(std::get<1>(c) == 2, "");
505a83710eSEric Fiselier         static_assert(std::get<2>(c) == 3.5, "");
515a83710eSEric Fiselier     }
525a83710eSEric Fiselier     {
535a83710eSEric Fiselier         static_assert(S().k == 3, "");
545a83710eSEric Fiselier         static_assert(std::get<1>(getArr()) == 4, "");
555a83710eSEric Fiselier     }
565a83710eSEric Fiselier #endif
575a83710eSEric Fiselier }
58