r270956 - in /branches/gcc-8-branch/libstdc++-v...

[redi@gcc.gnu.org]

Author: redi
Date: Tue May  7 15:45:42 2019
New Revision: 270956

URL: https://gcc.gnu.org/viewcvs?rev=270956&root=gcc&view=rev
Log:
LWG 2537 fix priority_queue constructors to establish invariant

This change is safe to make ion the branch, because the constructors
are currently incorrect and unusable (unless the supplied container
already contains a heap, in which case the new make_heap calls are
redundant but harmless).

Backport from mainline
2019-02-14  Jonathan Wakely  <jwakely@redhat.com>

	* doc/xml/manual/intro.xml: Document LWG 2537 status.
	* include/bits/stl_queue.h
	(priority_queue(const Compare&, const Container&, const Alloc&))
	(priority_queue(const Compare&, Container&&, const Alloc&)): Call
	make_heap.
	* testsuite/23_containers/priority_queue/dr2537.cc: New test.

Added:
    branches/gcc-8-branch/libstdc++-v3/testsuite/23_containers/priority_queue/dr2537.cc
Modified:
    branches/gcc-8-branch/libstdc++-v3/ChangeLog
    branches/gcc-8-branch/libstdc++-v3/doc/xml/manual/intro.xml
    branches/gcc-8-branch/libstdc++-v3/include/bits/stl_queue.h