Eo: Make it clearer that a NULL deref can't happen.
authorTom Hacohen <tom@stosb.com>
Fri, 16 May 2014 13:43:09 +0000 (14:43 +0100)
committerTom Hacohen <tom@stosb.com>
Fri, 16 May 2014 13:43:09 +0000 (14:43 +0100)
commit61f3f68670e8e49258edb19e2c2aebdde30b605a
treeeddade3ad981b5c458c249b9ed59049d77a3737b
parentcdea54dd40480817db4a97ffd107d7408af29972
Eo: Make it clearer that a NULL deref can't happen.

We check _current_table for NULL, and then populate it (it's a global)
through another function, but we don't really check it's not NULL before
using it, we just assume because of an indirect other variable.

This confused coveritiy, can confuse humans too, and in general risky
(if something changes).

CID 1039419
src/lib/eo/eo_ptr_indirection.x