Justin Viiret
09f5699df7
flat_set/map: workaround for gcc-4.8 C++11 defect
...
The STL shipped with gcc-4.8 does not provide
vector::erase(const_iterator) for C++11, instead only taking a mutable
iterator. This causes problems with flat_set/map if we don't have
Boost small_vector available and we fall back to std::vector.
We work around this by providing a function to construct a mutable
iterator given a const_iterator for internal use.
2017-06-13 13:52:33 +10:00
..
2016-04-20 13:34:56 +10:00
2015-10-20 09:13:35 +11:00
2017-04-26 15:19:43 +10:00
2017-05-30 13:59:23 +10:00
2016-04-20 13:34:56 +10:00
2017-04-26 15:18:26 +10:00
2017-04-26 15:18:26 +10:00
2017-04-26 15:19:43 +10:00
2016-03-01 11:17:28 +11:00
2016-04-20 13:34:56 +10:00
2016-04-20 13:34:56 +10:00
2016-10-28 14:43:34 +11:00
2016-07-08 11:01:34 +10:00
2016-05-18 16:22:28 +10:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2017-04-26 15:04:31 +10:00
2016-10-28 14:43:33 +11:00
2017-05-30 13:59:23 +10:00
2017-05-30 13:59:23 +10:00
2015-10-20 09:13:35 +11:00
2017-04-26 15:19:22 +10:00
2015-10-20 09:13:35 +11:00
2017-05-30 13:49:49 +10:00
2017-05-30 13:49:49 +10:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2017-04-26 15:18:26 +10:00
2017-04-26 15:18:26 +10:00
2016-07-08 10:45:06 +10:00
2016-12-14 15:28:54 +11:00
2016-12-14 15:28:54 +11:00
2016-12-14 15:28:54 +11:00
2016-12-02 11:31:33 +11:00
2016-12-14 15:27:18 +11:00
2017-04-26 14:59:22 +10:00
2017-05-30 13:58:59 +10:00
2017-04-26 15:18:26 +10:00
2016-03-01 11:21:39 +11:00
2017-05-30 13:59:00 +10:00
2017-04-26 15:18:26 +10:00
2017-05-30 13:59:23 +10:00
2017-04-26 15:18:26 +10:00
2017-04-26 15:19:01 +10:00
2017-04-26 15:19:01 +10:00
2016-12-14 15:28:54 +11:00
2016-12-14 15:28:54 +11:00
2016-12-14 15:28:58 +11:00
2017-04-26 15:19:35 +10:00
2017-04-26 15:18:26 +10:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2017-04-26 15:18:26 +10:00
2017-04-26 15:18:26 +10:00
2015-10-20 09:13:35 +11:00
2017-04-26 15:18:26 +10:00
2017-05-30 13:58:32 +10:00
2017-05-30 13:58:32 +10:00
2017-05-30 13:58:32 +10:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2017-05-30 13:59:18 +10:00
2017-05-30 13:59:18 +10:00
2017-05-30 14:00:45 +10:00
2017-06-13 13:52:33 +10:00
2017-05-30 13:59:18 +10:00
2015-10-20 09:13:35 +11:00
2017-05-30 13:59:23 +10:00
2017-05-30 13:59:23 +10:00
2017-06-13 13:52:33 +10:00
2017-04-26 15:18:26 +10:00
2016-05-18 16:28:00 +10:00
2017-05-30 13:58:59 +10:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2016-10-28 14:44:12 +11:00
2017-05-30 13:59:00 +10:00