From a0da88126535b440275e88585287eaa0af4bda8e Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 1 Apr 2021 09:47:33 -0700
Subject: [PATCH] [siof][trivial] add logging when calling unknown procedures

Summary: It helped me earlier.

Reviewed By: da319

Differential Revision: D27500928

fbshipit-source-id: 72f63a13f
---
 infer/src/checkers/Siof.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/infer/src/checkers/Siof.ml b/infer/src/checkers/Siof.ml
index f84680578..0c4d82346 100644
--- a/infer/src/checkers/Siof.ml
+++ b/infer/src/checkers/Siof.ml
@@ -8,6 +8,7 @@
 open! IStd
 open! AbstractDomain.Types
 module F = Format
+module L = Logging
 module GlobalVar = SiofTrace.GlobalVar
 module GlobalVarSet = SiofTrace.GlobalVarSet
 
@@ -184,6 +185,7 @@ module TransferFunctions (CFG : ProcCfg.S) = struct
           | Some (_, ((Bottom, _) as callee_astate)) ->
               callee_astate
           | None ->
+              L.d_printfln "Unknown call" ;
               (Bottom, Domain.VarNames.empty)
         in
         add_actuals_globals analysis_data astate loc actuals