diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2019-02-14 14:10:12 +0000 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2019-02-14 14:10:12 +0000 |
| commit | 1138a19dfe5029e6ead3bb26bb344bddce9f24f0 (patch) | |
| tree | 1224e15bd9662936e0ecc5037eacc49dc8414fb8 /libphobos/libdruntime/gcc | |
| parent | affd7d477acb4a19dd588e51e6d5597679d0391d (diff) | |
| download | gcc-1138a19dfe5029e6ead3bb26bb344bddce9f24f0.zip gcc-1138a19dfe5029e6ead3bb26bb344bddce9f24f0.tar.gz gcc-1138a19dfe5029e6ead3bb26bb344bddce9f24f0.tar.bz2 | |
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.
From-SVN: r268877
Diffstat (limited to 'libphobos/libdruntime/gcc')
0 files changed, 0 insertions, 0 deletions