Uninit: do not use the one-instr-per-node CFG

Reviewed By: jvillard Differential Revision: D10119328 fbshipit-source-id: e0be32377
6 years ago · ded6bd8ba4
parent 3ff9a3127c
commit ded6bd8ba4
1 changed files with 1 additions and 1 deletions
--- 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 =