[config] rename --report and -report to --stats-report

Summary: This is necessary to create a `report` subcommand (see later diffs).

Reviewed By: jberdine, dulmarod

Differential Revision: D4937488

fbshipit-source-id: 3fec0b5

infer/src/backend/InferPrint.re

@@ -1203,7 +1203,7 @@ let init_calls_format_list () => {
 };
 
 let init_stats_format_list () => {
-  let csv_format = Option.value_map f::(mk_format Csv) default::[] Config.report;
+  let csv_format = Option.value_map f::(mk_format Csv) default::[] Config.stats_report;
   csv_format
 };
 

infer/src/base/Config.ml

@@ -1174,10 +1174,6 @@ and reactive_capture =
   CLOpt.mk_bool ~long:"reactive-capture"
     "Compile source files only when required by analyzer (clang only)"
 
-and report =
-  CLOpt.mk_path_opt ~deprecated:["report"] ~long:"report"
-    ~meta:"file" "Write a report of the analysis results to a file"
-
 and report_current =
   CLOpt.mk_path_opt ~long:"report-current" ~parse_mode:CLOpt.Differential
     "report of the latest revision"
@@ -1316,6 +1312,10 @@ and stacktraces_dir =
 and stats =
   CLOpt.mk_bool ~deprecated:["stats"] ~long:"stats" "Stats mode (debugging)"
 
+and stats_report =
+  CLOpt.mk_path_opt ~long:"stats-report"
+    ~meta:"file" "Write a report of the analysis results to a file"
+
 and subtype_multirange =
   CLOpt.mk_bool ~deprecated:["subtype_multirange"] ~long:"subtype-multirange" ~default:true
     "Use the multirange subtyping domain"
@@ -1722,7 +1722,6 @@ and quandary_sinks = !quandary_sinks
 and quiet = !quiet
 and reactive_mode = !reactive
 and reactive_capture = !reactive_capture
-and report = !report
 and report_current = !report_current
 and report_custom_error = !report_custom_error
 and report_formatter = !report_formatter
@@ -1747,6 +1746,7 @@ and spec_abs_level = !spec_abs_level
 and stacktrace = !stacktrace
 and stacktraces_dir = !stacktraces_dir
 and stats_mode = !stats
+and stats_report = !stats_report
 and subtype_multirange = !subtype_multirange
 and svg = !svg
 and symops_per_iteration = !symops_per_iteration

infer/src/base/Config.mli

@@ -303,7 +303,6 @@ val quandary_sinks : Yojson.Basic.json
 val quiet : bool
 val reactive_mode : bool
 val reactive_capture : bool
-val report : string option
 val report_current : string option
 val report_formatter : [`No_formatter | `Phabricator_formatter]
 val report_hook : string option
@@ -326,6 +325,7 @@ val specs_library : string list
 val stacktrace : string option
 val stacktraces_dir : string option
 val stats_mode : bool
+val stats_report : string option
 val subtype_multirange : bool
 val svg : bool
 val symops_per_iteration : int option