From d4f943e953fbbeda5cf67b08901703e79ff4cfed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Thu, 27 Sep 2018 00:45:17 -0700 Subject: [PATCH] [purity] Don't report on access methods Reviewed By: mbouaziz Differential Revision: D10052479 fbshipit-source-id: a05c4d5cb --- infer/src/checkers/purity.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/checkers/purity.ml b/infer/src/checkers/purity.ml index 88760789c..efe146423 100644 --- a/infer/src/checkers/purity.ml +++ b/infer/src/checkers/purity.ml @@ -68,7 +68,8 @@ let should_report pure pdesc = | Typ.Procname.Java java_pname as proc_name -> pure && (not (Typ.Procname.is_constructor proc_name)) - && not (Typ.Procname.Java.is_class_initializer java_pname) + && (not (Typ.Procname.Java.is_class_initializer java_pname)) + && not (Typ.Procname.Java.is_access_method java_pname) | _ -> L.(die InternalError "Not supposed to run on non-Java code.")