From ded6bd8ba49539d8d5d886f3ff182b620ef30c43 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Sun, 7 Oct 2018 01:28:51 -0700 Subject: [PATCH] Uninit: do not use the one-instr-per-node CFG Reviewed By: jvillard Differential Revision: D10119328 fbshipit-source-id: e0be32377 --- infer/src/checkers/uninit.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/checkers/uninit.ml b/infer/src/checkers/uninit.ml index d66b05c45..8acd11abb 100644 --- a/infer/src/checkers/uninit.ml +++ b/infer/src/checkers/uninit.ml @@ -359,7 +359,7 @@ module TransferFunctions (CFG : ProcCfg.S) = struct let pp_session_name node fmt = F.fprintf fmt "uninit %a" CFG.Node.pp_id (CFG.Node.id node) end -module CFG = ProcCfg.NormalOneInstrPerNode +module CFG = ProcCfg.Normal module Analyzer = LowerHil.MakeAbstractInterpreter (CFG) (TransferFunctions) let get_locals cfg tenv pdesc =