From bc1c77a8a1694783cdf346924a57fb475f47e7c6 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Sun, 23 Aug 2015 16:28:32 -0600
Subject: [PATCH] [Infer][nullable] Fixing bad error message

---
 infer/src/backend/rearrange.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/rearrange.ml b/infer/src/backend/rearrange.ml
index e762b67e4..1c10ef008 100644
--- a/infer/src/backend/rearrange.ml
+++ b/infer/src/backend/rearrange.ml
@@ -953,7 +953,7 @@ let check_dereference_error pdesc (prop : Prop.normal Prop.t) lexp loc =
                | _ -> false in
              let is_strexp_pt_by_nullable_fld (fld, strexp) =
                match strexp with
-               | Sil.Eexp (exp, _) when Sil.exp_equal exp deref_exp ->
+               | Sil.Eexp (Sil.Var _ as exp, _) when Sil.exp_equal exp deref_exp ->
                    let is_nullable = fld_is_nullable fld in
                    if is_nullable then
                      nullable_obj_str := Some (Ident.fieldname_to_simplified_string fld);