[config] Remove unused --objc-arc option

Reviewed By: akotulski

Differential Revision: D4114497

fbshipit-source-id: 8ab7750

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
 

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 *)