r268877 - in /trunk/libstdc++-v3: ChangeLog doc...

[redi@gcc.gnu.org]

Author: redi
Date: Thu Feb 14 14:10:12 2019
New Revision: 268877

URL: https://gcc.gnu.org/viewcvs?rev=268877&root=gcc&view=rev
Log:
Enforce LWG DR 2566 requirement for container adaptors

Although there is no good use for stack<int, deque<double>> or similar
types with a mismatched value_type, it's possible somebody is doing that
and getting away with it currently. This patch only enforces the new
requirement for C++17 and later. During stage 1 we should consider
enforcing it for C++11 and C++14.

	* doc/xml/manual/intro.xml: Document LWG 2566 status.
	* include/bits/stl_queue.h (queue, priority_queue): Add static
	assertions to enforce LWG 2566 requirement on value_type.
	* include/bits/stl_stack.h (stack): Likewise.

Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/doc/xml/manual/intro.xml
    trunk/libstdc++-v3/include/bits/stl_queue.h
    trunk/libstdc++-v3/include/bits/stl_stack.h