diff --git a/infer/src/cost/ConfigImpactAnalysis.ml b/infer/src/cost/ConfigImpactAnalysis.ml index 2b38e9840..4cc780e5a 100644 --- a/infer/src/cost/ConfigImpactAnalysis.ml +++ b/infer/src/cost/ConfigImpactAnalysis.ml @@ -472,7 +472,8 @@ module TransferFunctions = struct let dispatch : (Tenv.t, unit, unit) ProcnameDispatcher.ProcName.dispatcher = let open ProcnameDispatcher.ProcName in make_dispatcher - [ +PatternMatch.Java.implements_math &::.*--> () + [ +PatternMatch.Java.implements_collection &:: "size" <>--> () + ; +PatternMatch.Java.implements_math &::.*--> () ; +PatternMatch.Java.implements_number &::.*--> () ; +PatternMatch.Java.implements_system &::+ is_cheap_system_method &--> () ] in