[cleanup] kill `Config.frontend_debug`

Summary: This appears to be interchangeable with `Config.debug`, so let's kill it.

Reviewed By: jvillard

Differential Revision: D5742685

fbshipit-source-id: d390b6b

infer/src/base/Config.ml

@@ -1119,11 +1119,6 @@ and from_json_report =
     ~meta:"report.json"
     "Load analysis results from a report file (default is to load the results from the specs files generated by the analysis)."
 
-and frontend_debug =
-  CLOpt.mk_bool ~deprecated:["fd"] ~deprecated_no:["nfd"] ~long:"frontend-debug"
-    ~in_help:CLOpt.([(Capture, manual_clang)])
-    "Emit debug info to *.o.astlog and a script *.o.sh that replays the command used to run clang with the plugin attached, piped to the infer frontend"
-
 and frontend_stats =
   CLOpt.mk_bool ~deprecated:["fs"] ~deprecated_no:["nfs"] ~long:"frontend-stats"
     "Output statistics about the capture phase to *.o.astlog (clang only)"
@@ -2050,8 +2045,6 @@ and fragment_retains_view = !fragment_retains_view
 
 and from_json_report = !from_json_report
 
-and frontend_debug = !frontend_debug
-
 and frontend_stats = !frontend_stats
 
 and headers = !headers

infer/src/base/Config.mli

@@ -402,8 +402,6 @@ val fragment_retains_view : bool
 
 val from_json_report : string option
 
-val frontend_debug : bool
-
 val frontend_tests : bool
 
 val frontend_stats : bool

infer/src/clang/Capture.ml

@@ -11,7 +11,7 @@ module CLOpt = CommandLineOption
 module L = Logging
 
 (** enable debug mode (to get more data saved to disk for future inspections) *)
-let debug_mode = Config.debug_mode || Config.frontend_stats || Config.frontend_debug
+let debug_mode = Config.debug_mode || Config.frontend_stats
 
 let buffer_len = 262143