From b86b6b44f3b6205d2df5f5518a3253608595be15 Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Fri, 14 Sep 2018 10:15:16 -0700
Subject: [PATCH] [inferbo] Substitute free symbols to Itv.top

Reviewed By: Julek

Differential Revision: D9830997

fbshipit-source-id: a2387cd3b
---
 infer/src/bufferoverrun/bufferOverrunSemantics.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/infer/src/bufferoverrun/bufferOverrunSemantics.ml b/infer/src/bufferoverrun/bufferOverrunSemantics.ml
index 849066295..5c3646b9f 100644
--- a/infer/src/bufferoverrun/bufferOverrunSemantics.ml
+++ b/infer/src/bufferoverrun/bufferOverrunSemantics.ml
@@ -294,8 +294,11 @@ end
 
 let rec eval_sympath_partial params p mem =
   match p with
-  | Symb.SymbolPath.Pvar x ->
-      ParamBindings.find x params
+  | Symb.SymbolPath.Pvar x -> (
+    try ParamBindings.find x params with Caml.Not_found ->
+      L.(debug BufferOverrun Verbose)
+        "Symbol %a is not found in parameters.@\n" (Pvar.pp Pp.text) x ;
+      Val.Itv.top )
   | Symb.SymbolPath.Index _ | Symb.SymbolPath.Field _ ->
       let locs = eval_locpath params p mem in
       Mem.find_set locs mem