From a11910d535a5acc9de946358fbe266bd992cad96 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 2 Nov 2016 16:50:55 -0700
Subject: [PATCH] [config] Remove unused --objc-arc option

Reviewed By: akotulski

Differential Revision: D4114497

fbshipit-source-id: 8ab7750
---
 infer/src/base/Config.ml  | 9 +++------
 infer/src/base/Config.mli | 3 ++-
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index 31bf70379..f7266585d 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1010,11 +1010,6 @@ and nelseg =
   CLOpt.mk_bool ~deprecated:["nelseg"] ~long:"nelseg"
     "Use only nonempty lsegs"
 
-(* Translate with Objective-C Automatic Reference Counting (ARC) *)
-and objc_arc =
-  CLOpt.mk_bool ~deprecated:["fobjc-arc"] ~long:"objc-arc"
-    ""
-
 (* TODO: document *)
 and objc_memory_model =
   CLOpt.mk_bool ~deprecated:["objcm"] ~long:"objc-memory-model"
@@ -1395,7 +1390,6 @@ and analysis_suppress_errors_options =
 and analysis_stops = !analysis_stops
 and analyzer = !analyzer
 and angelic_execution = !angelic_execution
-and arc_mode = objc_arc
 and array_level = !array_level
 and ast_file = !ast_file
 and blacklist = !blacklist
@@ -1621,6 +1615,9 @@ let set_reference_and_call_function reference value f x =
       restore ();
       raise exn
 
+(** Current Objective-C Automatic Reference Counting (ARC) mode *)
+let arc_mode = ref false
+
 (** Current language *)
 let curr_language = ref Clang
 
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index 26640e405..f972b12d5 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -278,6 +278,8 @@ val xml_specs : bool
     Restore the initial value also in case of exception. *)
 val set_reference_and_call_function : 'a ref -> 'a -> ('b -> 'c) -> 'b -> 'c
 
+val arc_mode : bool ref
+
 val curr_language : language ref
 
 val footprint : bool ref
@@ -306,7 +308,6 @@ val reset_abs_val : unit -> unit
 val run_with_abs_val_equal_zero : ('a -> 'b) -> 'a -> 'b
 
 val allow_leak : bool ref
-val arc_mode : bool ref
 
 
 (** Command Line Interface Documentation *)