From 6be7266f1f9bc8159391e2451d0b450851217347 Mon Sep 17 00:00:00 2001
From: Cristiano Calcagno <cristianoc@fb.com>
Date: Sun, 7 Feb 2016 04:16:23 -0800
Subject: [PATCH] Restore intraprocedural mode for Eradicate and Checkers

Reviewed By: jeremydubreil

Differential Revision: D2906910

fb-gh-sync-id: 62bf4c1
---
 infer/src/backend/inferanalyze.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/backend/inferanalyze.ml b/infer/src/backend/inferanalyze.ml
index 6893dbc76..ddcdfecea 100644
--- a/infer/src/backend/inferanalyze.ml
+++ b/infer/src/backend/inferanalyze.ml
@@ -235,7 +235,7 @@ let arg_desc =
         The analysis ignores errors caused by unknown procedure calls."
         ;
         "-checkers",
-        Arg.Set checkers,
+        Arg.Unit (fun () -> checkers := true; Config.intraprocedural := true),
         None,
         " run only the checkers instead of the full analysis"
         ;
@@ -250,7 +250,7 @@ let arg_desc =
         " execute the code query"
         ;
         "-eradicate",
-        Arg.Set Config.eradicate,
+        Arg.Unit (fun () -> Config.eradicate := true; Config.intraprocedural := true),
         None,
         " activate the eradicate checker for java annotations"
         ;