Merge #9856: Terminate immediately when allocation fails
commit65fdc37ac3062fae5aa1106890b32c93235a89e4
authorWladimir J. van der Laan <laanwj@gmail.com>
Tue, 28 Feb 2017 10:37:00 +0000 (28 11:37 +0100)
committerWladimir J. van der Laan <laanwj@gmail.com>
Tue, 28 Feb 2017 10:37:36 +0000 (28 11:37 +0100)
tree8ab8dec6c97ba0683ed97ca1017bf72c82bbefd6
parent88c2ae3ed2bb5d367dd408c9255cd8f1e7a36c7d
parentd4ee7baef729da5e18b5e5c3d6ddb5b97df8d4e4
Merge #9856: Terminate immediately when allocation fails

d4ee7ba prevector: assert successful allocation (Cory Fields)
c5f008a don't throw std::bad_alloc when out of memory. Instead, terminate immediately (Cory Fields)

Tree-SHA512: 699ce8df5b1775a99c71d3cfc952b45da1c0091e1a4b6adfac52d5be6144c3d98f88ac3af90e5c73fff2f74666a499feb4a34434683ce5979814e869c0aeddc3