[log] do not crash when logging errors
[log] do not crash when logging errors

Summary:
In some error paths we may end up querying the state for the instruction
being executed, but that is only populated by biabduction. Now it's
populated by AI checkers too.

Reviewed By: jberdine

Differential Revision: D10381068

fbshipit-source-id: dca1325d7

facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer