From b4c0ddcff3e55014f44cb9d7186beedc7921b6b0 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Thu, 31 Aug 2017 10:11:40 -0700 Subject: [PATCH] [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 | 7 ------- infer/src/base/Config.mli | 2 -- infer/src/clang/Capture.ml | 2 +- 3 files changed, 1 insertion(+), 10 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index fba97cff8..1445ba1a1 100644 --- a/infer/src/base/Config.ml +++ b/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 diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index 91344f330..1537f956c 100644 --- a/infer/src/base/Config.mli +++ b/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 diff --git a/infer/src/clang/Capture.ml b/infer/src/clang/Capture.ml index e2ba5bd84..70e355d07 100644 --- a/infer/src/clang/Capture.ml +++ b/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