diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index e93c1ca52..7dccbc3df 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -3022,9 +3022,6 @@ let set_reference_and_call_function reference value f x = ~finally:restore -(** Current Objective-C Automatic Reference Counting (ARC) mode *) -let arc_mode = ref false - (** Flag for footprint discovery mode *) let footprint = ref true diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index fde41313e..0507df99d 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -670,8 +670,6 @@ val xcpretty : bool (** {2 Global variables} *) -val arc_mode : bool ref - val footprint : bool ref val run_in_footprint_mode : ('a -> 'b) -> 'a -> 'b diff --git a/infer/src/clang/Capture.ml b/infer/src/clang/Capture.ml index dcccae681..cbaa833c3 100644 --- a/infer/src/clang/Capture.ml +++ b/infer/src/clang/Capture.ml @@ -60,7 +60,6 @@ let run_clang_frontend ast_source = let trans_unit_ctx = match ast_decl with | Clang_ast_t.TranslationUnitDecl (_, _, _, info) -> - Config.arc_mode := info.Clang_ast_t.tudi_arc_enabled ; let source_file = SourceFile.from_abs_path info.Clang_ast_t.tudi_input_path in init_global_state_for_capture_and_linters source_file ; let lang =