facebook/rocksdb — pull request #340 by nbougalis (2014-10-07 08:57:34+00:00)
Title: Avoid dereferencing a null field

If we're going to go to the trouble of checking then the least we can do is **not** dereference a pointer we just discovered is equal to `nullptr`.