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 
142decfad7SEric Fiselier // Prevent -Warray-bounds from issuing a diagnostic when testing with clang verify.
152decfad7SEric Fiselier #if defined(__clang__)
162decfad7SEric Fiselier #pragma clang diagnostic ignored "-Warray-bounds"
172decfad7SEric Fiselier #endif
182decfad7SEric Fiselier 
195a83710eSEric Fiselier #include <array>
205a83710eSEric Fiselier #include <cassert>
215a83710eSEric Fiselier 
22abd52cadSEric Fiselier #include "test_macros.h"
23*b4e2e7a2SEric Fiselier 
24*b4e2e7a2SEric Fiselier // std::array is explicitly allowed to be initialized with A a = { init-list };.
25*b4e2e7a2SEric Fiselier // Disable the missing braces warning for this reason.
26*b4e2e7a2SEric Fiselier #include "disable_missing_braces_warning.h"
272decfad7SEric Fiselier 
285a83710eSEric Fiselier int main()
295a83710eSEric Fiselier {
305a83710eSEric Fiselier     {
315a83710eSEric Fiselier         typedef double T;
325a83710eSEric Fiselier         typedef std::array<T, 3> C;
335a83710eSEric Fiselier         C c = {1, 2, 3.5};
34abd52cadSEric Fiselier         std::get<3>(c) = 5.5; // expected-note {{requested here}}
35abd52cadSEric Fiselier #if TEST_STD_VER >= 11
36abd52cadSEric Fiselier         // expected-error@array:* {{static_assert failed "Index out of bounds in std::get<> (std::array)"}}
37abd52cadSEric Fiselier #else
38abd52cadSEric Fiselier         // expected-error@array:* {{implicit instantiation of undefined template '__static_assert_test<false>'}}
39abd52cadSEric Fiselier #endif
405a83710eSEric Fiselier     }
415a83710eSEric Fiselier }
42