From 1e9ce380567b64b555a8088a046eb29240d5f614 Mon Sep 17 00:00:00 2001
From: Cristiano Calcagno <cristianoc@fb.com>
Date: Mon, 5 Oct 2015 08:48:59 -0700
Subject: [PATCH] Fix cast of null value.

Reviewed By: @dulmarod

Differential Revision: D2507960
---
 infer/src/backend/symExec.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/backend/symExec.ml b/infer/src/backend/symExec.ml
index cd95260ac..f0764c8eb 100644
--- a/infer/src/backend/symExec.ml
+++ b/infer/src/backend/symExec.ml
@@ -1624,7 +1624,8 @@ module ModelBuiltins = struct
     let non_null_case = Propset.to_proplist (prune_prop tenv sil_is_nonnull prop_type) in
     if ((list_length non_null_case) > 0) && (!Config.footprint) then
       non_null_case
-    else if (is_undefined_opt prop n_lexp) then non_null_case
+    else if ((list_length non_null_case) > 0) && (is_undefined_opt prop n_lexp) then
+      non_null_case
     else null_case@non_null_case
 
   let execute___get_type_of cfg pdesc instr tenv _prop path ret_ids args callee_pname loc