[inferbo] Report conditions always true/false using Checkers exception
[inferbo] Report conditions always true/false using Checkers exception

Reviewed By: jeremydubreil

Differential Revision: D9798983

fbshipit-source-id: 5724c172a

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