no longer report NULL_TEST_AFTER_DEREFERENCE in tracing mode
no longer report NULL_TEST_AFTER_DEREFERENCE in tracing mode

Summary:public
In tracing mode, we translate the runtime checks done by the JVM, so the checks for null happen independently from the what happens before the dereference.

Reviewed By: cristianoc

Differential Revision: D2981515

fb-gh-sync-id: 695de07
shipit-source-id: 695de07

blzq/infer,ropas/infer,facebook/infer,xennygrimmato/infer,blzq/infer,ryoon/infer,blzq/infer,jsachs/infer,blzq/infer,facebook/infer,ryoon/infer,kageiit/infer,facebook/infer,jvillard/infer,kstreee/infer,jsachs/infer,kageiit/infer,ryoon/infer,xennygrimmato/infer,kageiit/infer,jsachs/infer,ryoon/infer,jvillard/infer,jsachs/infer,xennygrimmato/infer,kstreee/infer,jvillard/infer,kstreee/infer,xennygrimmato/infer,ropas/infer,kageiit/infer,blzq/infer,jsachs/infer,blzq/infer,kageiit/infer,xennygrimmato/infer,facebook/infer,kstreee/infer,kstreee/infer,kstreee/infer,ropas/infer,jvillard/infer,ryoon/infer,facebook/infer,jvillard/infer,facebook/infer,kageiit/infer,jvillard/infer,ropas/infer,ryoon/infer,xennygrimmato/infer,xennygrimmato/infer,ropas/infer,kageiit/infer,jsachs/infer,jvillard/infer,ropas/infer,facebook/infer