15a83710eSEric Fiselier //===----------------------------------------------------------------------===// 25a83710eSEric Fiselier // 357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65a83710eSEric Fiselier // 75a83710eSEric Fiselier //===----------------------------------------------------------------------===// 85a83710eSEric Fiselier 95a83710eSEric Fiselier // <array> 105a83710eSEric Fiselier 115a83710eSEric Fiselier // template <size_t I, class T, size_t N> T& get(array<T, N>& a); 125a83710eSEric Fiselier 132decfad7SEric Fiselier // Prevent -Warray-bounds from issuing a diagnostic when testing with clang verify. 14*14324fa4SNikolas Klauser // ADDITIONAL_COMPILE_FLAGS: -Wno-array-bounds 152decfad7SEric Fiselier 165a83710eSEric Fiselier #include <array> 175a83710eSEric Fiselier #include <cassert> 185a83710eSEric Fiselier 19*14324fa4SNikolas Klauser #include "test_macros.h" 20*14324fa4SNikolas Klauser 212df59c50SJF Bastien int main(int, char**) 225a83710eSEric Fiselier { 235a83710eSEric Fiselier { 245a83710eSEric Fiselier typedef double T; 255a83710eSEric Fiselier typedef std::array<T, 3> C; 265a83710eSEric Fiselier C c = {1, 2, 3.5}; 27abd52cadSEric Fiselier std::get<3>(c) = 5.5; // expected-note {{requested here}} 28241c73b1SEric Fiselier // expected-error-re@array:* {{static_assert failed{{( due to requirement '3U[L]{0,2} < 3U[L]{0,2}')?}} "Index out of bounds in std::get<> (std::array)"}} 295a83710eSEric Fiselier } 302df59c50SJF Bastien 312df59c50SJF Bastien return 0; 325a83710eSEric Fiselier } 33