From 478e278ba0c91a869877873d93fc3cea3e3d127a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Wed, 17 Apr 2019 08:15:27 -0700
Subject: [PATCH] [control] Don't fail hard on undefined control variables

Reviewed By: martintrojer

Differential Revision: D14973287

fbshipit-source-id: 633ce3e04
---
 infer/src/checkers/control.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/infer/src/checkers/control.ml b/infer/src/checkers/control.ml
index 2d2f5120f..d6c3a3d02 100644
--- a/infer/src/checkers/control.ml
+++ b/infer/src/checkers/control.ml
@@ -89,9 +89,10 @@ module TransferFunctionsControlDeps (CFG : ProcCfg.S) = struct
            | Some deps ->
                ControlDepSet.union deps acc
            | None ->
-               L.internal_error "Failed to get the definition of the control variable %a" Ident.pp
-                 id ;
-               assert false )
+               L.internal_error
+                 "Failed to get the definition of the control variable %a in exp %a \n" Ident.pp id
+                 Exp.pp exp ;
+               acc )
 
 
   (* extract vars from the prune instructions in the node *)