Mike Kolupaev 314828c973 Fixed a crash in debug build in flush_job.cc
Summary:
It was doing `&range_del_iters[0]` on an empty vector. Even though the resulting pointer is never dereferenced, it's still bad for two reasons:
* the practical reason: it crashes with `std::out_of_range` exception in our debug build,
* the "C++ standard lawyer" reason: it's undefined behavior because, in `std::vector` implementation, it probably "dereferences" a null pointer, which is invalid even though it doesn't actually read the pointed memory, just converts a pointer into a reference (and then flush_job.cc converts it back to pointer); nullptr references are undefined behavior.
Closes https://github.com/facebook/rocksdb/pull/1612

Differential Revision: D4265625

Pulled By: al13n321

fbshipit-source-id: db26fb9
2016-12-14 13:08:37 -08:00
..
2016-11-21 12:24:13 -08:00
2016-11-19 14:24:12 -08:00
2016-11-23 09:24:15 -08:00
2016-11-03 18:54:20 -07:00
2016-09-13 21:11:59 -07:00
2016-11-21 18:09:13 -08:00
2016-11-21 18:09:13 -08:00
2016-11-04 12:09:22 -07:00
2016-11-21 18:09:13 -08:00
2016-11-21 18:09:13 -08:00
2016-11-21 18:09:13 -08:00
2016-11-23 09:24:15 -08:00
2016-11-10 11:09:22 -08:00
2016-07-08 17:50:51 -07:00
2016-10-13 08:48:40 -07:00
2016-07-08 17:50:51 -07:00
2016-11-03 18:54:20 -07:00
2016-11-21 12:24:13 -08:00
2016-11-19 14:24:12 -08:00
2016-09-27 18:20:57 -07:00
2016-09-27 18:20:57 -07:00
2016-07-13 15:36:22 -07:00
2016-11-21 18:09:13 -08:00