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