[sledge] Add a todo for calls with inttoptr
[sledge] Add a todo for calls with inttoptr

Reviewed By: ngorogiannis

Differential Revision: D15965374

fbshipit-source-id: bbee029d7

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