[InferPrint] Kill --source-file-copy option

Summary: This option is unused and it's making DB.source_file_* API harder to simplify

Reviewed By: cristianoc

Differential Revision: D4219803

fbshipit-source-id: 23ce697

infer/src/backend/InferPrint.re

@@ -13,17 +13,6 @@ let module L = Logging;
 
 let module F = Format;
 
-let source_file_copy = ref None;
-
-let handle_source_file_copy_option () =>
-  switch !source_file_copy {
-  | None => ()
-  | Some source_file =>
-    let source_in_resdir = DB.source_file_in_resdir source_file;
-    F.fprintf F.std_formatter "%s@." (DB.filename_to_string source_in_resdir);
-    exit 0
-  };
-
 let print_usage_exit err_s => {
   L.stderr "Load Error: %s@.@." err_s;
   Config.print_usage_exit ()
@@ -1273,10 +1262,6 @@ let module AnalysisResults = {
           }
       )
       Config.anon_args;
-    switch Config.source_file_copy {
-    | Some s => source_file_copy := Some (DB.abs_source_file_from_path s)
-    | None => ()
-    };
     if Config.test_filtering {
       Inferconfig.test ();
       exit 0
@@ -1499,6 +1484,5 @@ let main report_csv::report_csv report_json::report_json => {
     (Summary, init_summary_format_list ())
   ];
   register_perf_stats_report ();
-  handle_source_file_copy_option ();
   print_issues formats_by_report_kind
 };

infer/src/base/Config.ml

@@ -1138,10 +1138,6 @@ and skip_translation_headers =
     ~exes:CLOpt.[Clang]
     ~meta:"path prefix" "Ignore headers whose path matches the given prefix"
 
-and source_file_copy =
-  CLOpt.mk_string_opt ~deprecated:["source_file_copy"] ~long:"source-file-copy"
-    ~meta:"source_file" "Print the path of the copy of source_file in the results directory"
-
 and spec_abs_level =
   CLOpt.mk_int ~deprecated:["spec_abs_level"] ~long:"spec-abs-level" ~default:1
     ~meta:"int" "Set the level of abstracting the postconditions of discovered specs:\n\
@@ -1509,7 +1505,6 @@ and show_progress_bar = !progress_bar
 and skip_analysis_in_path = !skip_analysis_in_path
 and skip_clang_analysis_in_path = !skip_clang_analysis_in_path
 and skip_translation_headers = !skip_translation_headers
-and source_file_copy = !source_file_copy
 and spec_abs_level = !spec_abs_level
 and stacktrace = !stacktrace
 and stacktraces_dir = !stacktraces_dir

infer/src/base/Config.mli

@@ -247,7 +247,6 @@ val show_progress_bar : bool
 val skip_analysis_in_path : string list
 val skip_clang_analysis_in_path : string list
 val skip_translation_headers : string list
-val source_file_copy : string option
 val spec_abs_level : int
 val specs_library : string list
 val stacktrace : string option