From cc6b0f1e0b7a0f380858196f01747dd24625b35b Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Wed, 31 May 2017 06:39:01 -0700
Subject: [PATCH] [inferbo] Print skipped warnings only with bo_debug >= 4

Reviewed By: jvillard

Differential Revision: D5137635

fbshipit-source-id: ede812c
---
 infer/src/bufferoverrun/bufferOverrunDomain.ml | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/infer/src/bufferoverrun/bufferOverrunDomain.ml b/infer/src/bufferoverrun/bufferOverrunDomain.ml
index 30cdf07e2..60b322ffb 100644
--- a/infer/src/bufferoverrun/bufferOverrunDomain.ml
+++ b/infer/src/bufferoverrun/bufferOverrunDomain.ml
@@ -21,13 +21,14 @@ let always_strong_update = true (* unsound but ok for bug catching *)
 
 module Condition =
 struct
-  type t =
-    { idx : Itv.astate;
-      size : Itv.astate;
-      proc_name : Typ.Procname.t;
-      loc : Location.t;
-      trace : trace;
-      id : string }
+  type t = {
+    proc_name : Typ.Procname.t;
+    loc : Location.t;
+    id : string;
+    trace : trace;
+    idx : Itv.astate;
+    size : Itv.astate;
+  }
   [@@deriving compare]
 and trace = Intra of Typ.Procname.t
           | Inter of Typ.Procname.t * Typ.Procname.t * Location.t
@@ -127,7 +128,7 @@ let check : t -> string option
          && Itv.Bound.le (Itv.lb c'.size) (Itv.lb c.idx) then
       Some Localise.BucketLevel.b3
       (* other symbolic bounds are probably too noisy *)
-    else if Config.bo_debug <= 1 && (Itv.is_symbolic c.idx || Itv.is_symbolic c.size) then
+    else if Config.bo_debug <= 3 && (Itv.is_symbolic c.idx || Itv.is_symbolic c.size) then
       None
     else if filter1 c then
       Some Localise.BucketLevel.b5