From 18baa1f1261a5037a1bdc36f9dfafd843f1f8122 Mon Sep 17 00:00:00 2001 From: Sungkeun Cho Date: Wed, 9 Sep 2020 06:32:54 -0700 Subject: [PATCH] [cost] Enable top_and_unreachable issues of autoreleasepool size Reviewed By: ezgicicek Differential Revision: D23597736 fbshipit-source-id: 5eca0a02c --- infer/src/base/costKind.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/base/costKind.ml b/infer/src/base/costKind.ml index 7b2a82158..31be5e2e4 100644 --- a/infer/src/base/costKind.ml +++ b/infer/src/base/costKind.ml @@ -53,4 +53,4 @@ type kind_spec = {kind: t; (* for non-diff analysis *) top_and_unreachable: bool let enabled_cost_kinds = [ {kind= OperationCost; top_and_unreachable= true} - ; {kind= AutoreleasepoolSize; top_and_unreachable= false} ] + ; {kind= AutoreleasepoolSize; top_and_unreachable= true} ]