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 22*abd52cadSEric Fiselier #include "test_macros.h" 232decfad7SEric Fiselier #include "../suppress_array_warnings.h" 242decfad7SEric Fiselier 255a83710eSEric Fiselier int main() 265a83710eSEric Fiselier { 275a83710eSEric Fiselier { 285a83710eSEric Fiselier typedef double T; 295a83710eSEric Fiselier typedef std::array<T, 3> C; 305a83710eSEric Fiselier C c = {1, 2, 3.5}; 31*abd52cadSEric Fiselier std::get<3>(c) = 5.5; // expected-note {{requested here}} 32*abd52cadSEric Fiselier #if TEST_STD_VER >= 11 33*abd52cadSEric Fiselier // expected-error@array:* {{static_assert failed "Index out of bounds in std::get<> (std::array)"}} 34*abd52cadSEric Fiselier #else 35*abd52cadSEric Fiselier // expected-error@array:* {{implicit instantiation of undefined template '__static_assert_test<false>'}} 36*abd52cadSEric Fiselier #endif 375a83710eSEric Fiselier } 385a83710eSEric Fiselier } 39