From 9349f0d6e211ba3ae084824de89c5fcace49859e Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 29 Aug 2018 22:54:38 -0700 Subject: [PATCH] [eradicate] remove the constant flags remove_temps Summary: This flag was always set to `true` Reviewed By: mbouaziz Differential Revision: D9512798 fbshipit-source-id: 085e73a4b --- infer/src/eradicate/typeCheck.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/infer/src/eradicate/typeCheck.ml b/infer/src/eradicate/typeCheck.ml index e246c58f6..0d527f6b6 100644 --- a/infer/src/eradicate/typeCheck.ml +++ b/infer/src/eradicate/typeCheck.ml @@ -12,9 +12,6 @@ module DExp = DecompiledExp (** Module for type checking. *) -(** remove temp ids from typestates *) -let remove_temps = true - (** Module to treat selected complex expressions as constants. *) module ComplexExpressions = struct let procname_optional_isPresent = Models.is_optional_isPresent @@ -425,8 +422,7 @@ let typecheck_instr tenv calls_this checks (node : Procdesc.Node.t) idenv curr_p in match instr with | Sil.Remove_temps (idl, _) -> - if remove_temps then List.fold_right ~f:TypeState.remove_id idl ~init:typestate - else typestate + List.fold_right ~f:TypeState.remove_id idl ~init:typestate | Sil.Abstract _ | Sil.Nullify _ -> typestate | Sil.Load (id, e, typ, loc) ->