This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[PATCH] libstdc++/72745 add static assertion for invalid tuple access

From: Jonathan Wakely <jwakely at redhat dot com>
To: libstdc++ at gcc dot gnu dot org, gcc-patches at gcc dot gnu dot org
Date: Sun, 31 Jul 2016 18:10:04 +0100
Subject: [PATCH] libstdc++/72745 add static assertion for invalid tuple access
Authentication-results: sourceware.org; auth=none

	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.

This improves the diagnostic for std::get<1>( tuple<int>{} ) by adding
a static assertion that the index is in range.

Tested powerpc64-linux, committed to trunk.

Attachment: patch.txt
Description: Text document

Follow-Ups:
- Re: [PATCH] libstdc++/72745 add static assertion for invalid tuple access
  - From: Jonathan Wakely

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]