Roland Dreier
1eb591e85c
Fix deallocating never-allocated storage in vector.merge()
...
If merge() is called on an empty vector, then priv_merge_in_new_buffer() will
call deallocate() with size 0 on the old (not-yet-allocated) vector storage.
This violates the Allocator requirement that the pointer passed to deallocate()
must have come from a call to allocate() with the same size.
Fix this by checking old_cap against 0, and also add a unit test for this bug.
2019-02-23 18:46:06 -08:00
..
2015-09-07 19:16:46 +02:00
2016-02-23 13:29:15 +01:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2018-09-26 01:07:01 +02:00
2017-10-19 21:53:37 +02:00
2016-06-25 11:19:32 +02:00
2015-12-25 13:26:20 +01:00
2018-11-12 22:52:45 +01:00
2015-09-07 19:16:46 +02:00
2017-11-07 00:51:46 +01:00
2018-09-26 01:07:21 +02:00
2018-09-15 01:15:25 +02:00
2015-01-02 19:34:21 +01:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:07:09 +02:00
2018-09-25 09:08:24 +02:00
2018-09-25 09:08:24 +02:00
2019-02-02 00:25:09 +01:00
2018-11-12 22:52:45 +01:00
2017-11-07 00:51:46 +01:00
2019-01-03 03:32:03 +01:00
2013-12-23 23:34:28 +01:00
2014-11-26 07:08:06 +01:00
2015-02-26 00:34:37 +01:00
2015-01-28 22:11:00 +01:00
2017-11-07 00:51:46 +01:00
2018-11-12 22:52:45 +01:00
2017-11-07 00:51:46 +01:00
2019-02-02 00:25:09 +01:00
2018-09-25 09:07:09 +02:00
2015-09-07 19:16:46 +02:00
2015-09-07 19:16:46 +02:00
2018-09-23 15:54:39 -04:00
2018-09-25 09:08:24 +02:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2018-05-14 11:49:35 +02:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2015-09-07 19:16:46 +02:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2015-09-07 19:16:46 +02:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2016-05-13 22:17:23 +02:00
2015-01-02 19:34:21 +01:00
2015-12-24 13:46:00 +01:00
2017-11-07 00:51:46 +01:00
2015-10-12 18:51:08 +02:00
2017-11-07 00:51:46 +01:00
2017-11-07 00:51:46 +01:00
2018-11-13 23:17:51 +01:00
2018-08-13 15:36:00 +02:00
2018-11-12 22:52:45 +01:00
2018-09-25 09:08:24 +02:00
2018-11-12 22:52:45 +01:00
2018-09-25 09:08:24 +02:00
2015-01-02 19:34:21 +01:00
2018-11-12 22:52:45 +01:00
2017-02-21 14:27:18 +01:00
2015-09-07 19:16:46 +02:00
2014-09-17 21:49:47 +02:00
2017-11-07 00:51:46 +01:00
2015-09-07 19:16:46 +02:00
2015-09-07 19:16:46 +02:00
2017-12-10 23:33:41 +01:00
2019-02-23 18:46:06 -08:00
2018-06-16 11:51:31 +02:00