From 0b4fc3a979019ed06dd441e02f664823fd869bff Mon Sep 17 00:00:00 2001 From: Dulma Rodriguez Date: Wed, 16 Sep 2015 13:49:42 -0100 Subject: [PATCH] [backend] make adding overriden methods during cluster generation only available in Java --- infer/src/backend/inferanalyze.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/inferanalyze.ml b/infer/src/backend/inferanalyze.ml index 2a92a5fa2..412157ab2 100644 --- a/infer/src/backend/inferanalyze.ml +++ b/infer/src/backend/inferanalyze.ml @@ -405,7 +405,7 @@ let create_minimal_clusters file_cg exe_env to_analyze_map : cluster list = let source = Exe_env.get_source exe_env proc_name in mapr := Procname.Map.add proc_name source !mapr; with Not_found -> () in - if isdefined then + if isdefined && !Config.curr_language = Config.Java then let tenv = Exe_env.get_tenv exe_env pn in (* Add the overridden methods, so they can be found by the cluster. *) PatternMatch.proc_iter_overridden_methods extend_map tenv pn