From ed82a0e572a453870c228e1b27eaa3927f9e38af Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Mon, 10 Dec 2018 09:48:48 -0800
Subject: [PATCH] [debug] LowerHIL: print id map

Reviewed By: da319

Differential Revision: D13398583

fbshipit-source-id: 0be8c32da
---
 infer/src/absint/LowerHil.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/infer/src/absint/LowerHil.ml b/infer/src/absint/LowerHil.ml
index d48fb7256..9cd0bd39d 100644
--- a/infer/src/absint/LowerHil.ml
+++ b/infer/src/absint/LowerHil.ml
@@ -30,7 +30,10 @@ module MakeHILDomain (Domain : AbstractDomain.S) = struct
   include AbstractDomain.Pair (Domain) (IdAccessPathMapDomain)
 
   (** hides HIL implementation details *)
-  let pp fmt (astate, _) = Domain.pp fmt astate
+  let pp fmt (astate, id_map) =
+    if Config.debug_level_analysis >= 3 then
+      Format.fprintf fmt "Id map: @[<h>%a@]@\n" IdAccessPathMapDomain.pp id_map ;
+    Domain.pp fmt astate
 end
 
 module Make