From f35a969def9eae8cb4af81eb6ab59464bdda96e7 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Tue, 8 Nov 2016 06:54:01 -0800
Subject: [PATCH] [context leaks] don't report context leak if reachable
 context type is null

Reviewed By: jeremydubreil

Differential Revision: D4136930

fbshipit-source-id: 4b18c0b
---
 infer/src/backend/interproc.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/backend/interproc.ml b/infer/src/backend/interproc.ml
index 8a8e2da66..338b3055a 100644
--- a/infer/src/backend/interproc.ml
+++ b/infer/src/backend/interproc.ml
@@ -671,7 +671,8 @@ let report_context_leaks pname sigma tenv =
     IList.fold_left
       (fun exps hpred -> match hpred with
          | Sil.Hpointsto (_, Eexp (exp, _), Sizeof (Tptr (Tstruct name, _), _, _))
-           when AndroidFramework.is_context tenv name
+           when not (Exp.is_null_literal exp)
+             && AndroidFramework.is_context tenv name
              && not (AndroidFramework.is_application tenv name) ->
              (exp, name) :: exps
          | _ -> exps)