From e091d229f875b214b5e8c415ee0207387418ab20 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Mon, 26 Nov 2018 13:42:00 -0800
Subject: [PATCH] [inferbo] Keep traces for iterators

Reviewed By: skcho

Differential Revision: D13176176

fbshipit-source-id: 3a42732c6
---
 infer/src/bufferoverrun/bufferOverrunDomain.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/infer/src/bufferoverrun/bufferOverrunDomain.ml b/infer/src/bufferoverrun/bufferOverrunDomain.ml
index 6509c48cd..ab4b641f1 100644
--- a/infer/src/bufferoverrun/bufferOverrunDomain.ml
+++ b/infer/src/bufferoverrun/bufferOverrunDomain.ml
@@ -208,7 +208,11 @@ module Val = struct
 
   let minus_a = lift_itv Itv.minus
 
-  let get_iterator_itv : t -> t = fun i -> {bot with itv= Itv.get_iterator_itv i.itv}
+  let get_iterator_itv : t -> t =
+   fun i ->
+    let itv = Itv.get_iterator_itv i.itv in
+    of_itv itv ~traces:i.traces
+
 
   let mult = lift_itv Itv.mult