[Perf][CI] Disable threshold based cost reports

Reviewed By: ezgicicek

Differential Revision: D9810693

fbshipit-source-id: fc07461cd

infer/src/base/Config.ml

@@ -2195,6 +2195,11 @@ and unsafe_malloc =
     "Assume that malloc(3) never returns null."
 
 
+and use_cost_threshold =
+  CLOpt.mk_bool ~long:"use-cost-threshold" ~default:false
+    "Emit costs issues by comparing costs with a set threshold"
+
+
 and version =
   let var = ref `None in
   CLOpt.mk_set var `Full ~deprecated:["version"] ~long:"version"
@@ -2980,6 +2985,8 @@ and uninit_interproc = !uninit_interproc
 
 and unsafe_malloc = !unsafe_malloc
 
+and use_cost_threshold = !use_cost_threshold
+
 and worklist_mode = !worklist_mode
 
 and write_dotty = !write_dotty

infer/src/base/Config.mli

@@ -200,6 +200,8 @@ val undo_join : bool
 
 val unsafe_unret : string
 
+val use_cost_threshold : bool
+
 val weak : string
 
 val whitelisted_cpp_methods : string list

infer/src/checkers/cost.ml

@@ -629,7 +629,9 @@ module TransferFunctionsWCET = struct
   (* We don't report when the cost is Top as it corresponds to subsequent 'don't know's.
    Instead, we report Top cost only at the top level per function when `report_infinity` is set to true *)
   let should_report_cost cost =
-    (not (BasicCost.is_top cost)) && not (BasicCost.( <= ) ~lhs:cost ~rhs:expensive_threshold)
+    Config.use_cost_threshold
+    && (not (BasicCost.is_top cost))
+    && not (BasicCost.( <= ) ~lhs:cost ~rhs:expensive_threshold)
 
 
   let do_report summary loc cost =

infer/tests/codetoanalyze/c/performance/Makefile

@@ -8,7 +8,7 @@ TESTS_DIR = ../../..
 ANALYZER = checkers
 # see explanations in cpp/errors/Makefile for the custom isystem
 CLANG_OPTIONS = -c
-INFER_OPTIONS = --cost-only --debug-exceptions --project-root $(TESTS_DIR)
+INFER_OPTIONS = --cost-only --debug-exceptions --project-root $(TESTS_DIR) --use-cost-threshold
 INFERPRINT_OPTIONS = --issues-tests
 
 SOURCES = $(wildcard *.c)

infer/tests/codetoanalyze/java/performance/Makefile

@@ -6,7 +6,7 @@
 TESTS_DIR = ../../..
 
 ANALYZER = checkers
-INFER_OPTIONS = --cost-only --debug-exceptions
+INFER_OPTIONS = --cost-only --debug-exceptions --use-cost-threshold
 INFERPRINT_OPTIONS = --issues-tests
 SOURCES = $(wildcard *.java)