[Bug libstdc++/72745] Please static assert in std::get to check out of range

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72745

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Author: redi
Date: Sun Jul 31 17:08:52 2016
New Revision: 238924

URL: https://gcc.gnu.org/viewcvs?rev=238924&root=gcc&view=rev
Log:
libstdc++/72745 add static assertion for invalid tuple access

        PR libstdc++/72745
        * include/std/array (get): Use positive message for static assertions.
        * include/std/functional (_Safe_tuple_element_t): Fix indentation.
        * include/std/tuple (tuple_element<I, tuple<>>): Add partial
        specialization for invalid indices, with static assertion.
        * testsuite/20_util/tuple/element_access/get_neg.cc: New test.

Added:
    trunk/libstdc++-v3/testsuite/20_util/tuple/element_access/get_neg.cc
Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/std/array
    trunk/libstdc++-v3/include/std/functional
    trunk/libstdc++-v3/include/std/tuple