From 05ac5adfee8bc542a39a457a5eae72db8c7f0644 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Tue, 26 Feb 2019 07:15:03 -0800 Subject: [PATCH] Run Purity once Reviewed By: ezgicicek Differential Revision: D14224433 fbshipit-source-id: e99c33576 --- infer/src/checkers/registerCheckers.ml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/infer/src/checkers/registerCheckers.ml b/infer/src/checkers/registerCheckers.ml index e261944db..24f98b246 100644 --- a/infer/src/checkers/registerCheckers.ml +++ b/infer/src/checkers/registerCheckers.ml @@ -112,9 +112,8 @@ let all_checkers = ; { name= "loop hoisting" ; active= Config.loop_hoisting ; callbacks= - (Procedure Hoisting.checker, Language.Clang) - :: (Procedure Hoisting.checker, Language.Java) - :: (if Config.purity then [(Procedure Purity.checker, Language.Java)] else []) } + [(Procedure Hoisting.checker, Language.Clang); (Procedure Hoisting.checker, Language.Java)] + } ; { name= "Starvation analysis" ; active= Config.starvation ; callbacks= @@ -122,7 +121,9 @@ let all_checkers = ; (Cluster Starvation.reporting, Language.Java) ; (Procedure Starvation.analyze_procedure, Language.Clang) ; (Cluster Starvation.reporting, Language.Clang) ] } - ; {name= "purity"; active= Config.purity; callbacks= [(Procedure Purity.checker, Language.Java)]} + ; { name= "purity" + ; active= Config.purity || Config.loop_hoisting + ; callbacks= [(Procedure Purity.checker, Language.Java)] } ; { name= "Class loading analysis" ; active= Config.class_loads ; callbacks= [(Procedure ClassLoads.analyze_procedure, Language.Java)] } ]