gcc/libstdc++-v3/include
Jonathan Wakely 1f48525ded Ensure pool resources always use normal mode vector
The __pool_resource::_M_unpooled member was declared with type
std::vector, which means that the type depends on whether debug mode is
active or not. Because the non-inline definitions in
src/c++17/memory_resource.cc are never compiled with debug mode, the
type declared in the header doesn't match the type in the library
definitions, leading to undefined behaviour.

The solution is to ensure the header always uses the non-debug vector,
even when debug mode is active. To make this easier a new alias template
is defined: _GLIBCXX_STD_C::pmr::vector.

	* include/std/memory_resource (__pool_resource::_M_unpooled): Use
	normal mode vector, even for debug mode.
	* include/std/vector [_GLIBCXX_DEBUG] (_GLIBCXX_STD_C::pmr::vector):
	Define alias template for normal mode vector.

From-SVN: r268354
2019-01-29 00:47:25 +00:00
..
backward Fix after P0600. 2019-01-21 11:47:30 +00:00
bits PR libstdc++/68737 Do not use vsnprintf on HPUX 2019-01-28 23:58:57 +00:00
c Update copyright years. 2019-01-01 13:31:55 +01:00
c_compatibility Update copyright years. 2019-01-01 13:31:55 +01:00
c_global Update copyright years. 2019-01-01 13:31:55 +01:00
c_std Update copyright years. 2019-01-01 13:31:55 +01:00
debug Fix after P0600. 2019-01-21 11:47:30 +00:00
decimal Update copyright years. 2019-01-01 13:31:55 +01:00
experimental Fix after P0600. 2019-01-21 11:47:30 +00:00
ext Fix after P0600. 2019-01-21 11:47:30 +00:00
parallel PR libstdc++/88607 replace or remove unnecessary UTF-8 characters 2019-01-03 20:38:11 +00:00
precompiled Update copyright years. 2019-01-01 13:31:55 +01:00
profile Fix after P0600. 2019-01-21 11:47:30 +00:00
std Ensure pool resources always use normal mode vector 2019-01-29 00:47:25 +00:00
tr1 Fix after P0600. 2019-01-21 11:47:30 +00:00
tr2 Fix after P0600. 2019-01-21 11:47:30 +00:00
Makefile.am Update copyright years. 2019-01-01 13:31:55 +01:00
Makefile.in Implement uniform container erasure for C++20. 2018-11-28 16:44:25 +00:00