From 0b56374b11edea31a51808227b069c29d21ceafc Mon Sep 17 00:00:00 2001 From: jrm Date: Wed, 16 Mar 2016 17:03:32 -0700 Subject: [PATCH] Seprate the concept of @PerformanceCritical from the concept of @NoAllocation Summary:public This give more freedom to use the tools, especially in the open-source context. Reviewed By: cristianoc Differential Revision: D3061192 fb-gh-sync-id: 0e0d4ed shipit-source-id: 0e0d4ed --- infer/src/checkers/performanceCritical.ml | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/infer/src/checkers/performanceCritical.ml b/infer/src/checkers/performanceCritical.ml index e4196b15e..4345137fd 100644 --- a/infer/src/checkers/performanceCritical.ml +++ b/infer/src/checkers/performanceCritical.ml @@ -9,10 +9,6 @@ module L = Logging - -let performance_critical_implies_no_allocation = true - - (* Warning name when a performance critical method directly or indirectly calls a method annotatd as expensive *) let calls_expensive_method = @@ -65,9 +61,7 @@ let method_is_performance_critical pname = let method_is_no_allcation pname = - (performance_critical_implies_no_allocation - && method_is_performance_critical pname) - || check_method Annotations.ia_is_no_allocation pname + check_method Annotations.ia_is_no_allocation pname let method_overrides is_annotated tenv pname =