From 92ad9f1ed96f681d9bf0665cd96660442de00ec2 Mon Sep 17 00:00:00 2001 From: Sungkeun Cho Date: Fri, 26 Feb 2021 03:29:57 -0800 Subject: [PATCH] [ConfigImpact] Use ProcCfg.Normal instead of NormalOneInstrPerNode Summary: ProcCfg.Normal is cheaper than ProcCfg.NormalOneInstrPerNode. Reviewed By: ezgicicek Differential Revision: D26688881 fbshipit-source-id: 0180ad960 --- infer/src/checkers/ConfigChecksBetweenMarkers.ml | 2 +- infer/src/checkers/ConfigImpactAnalysis.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/checkers/ConfigChecksBetweenMarkers.ml b/infer/src/checkers/ConfigChecksBetweenMarkers.ml index 5145e1bf2..ecea1828a 100644 --- a/infer/src/checkers/ConfigChecksBetweenMarkers.ml +++ b/infer/src/checkers/ConfigChecksBetweenMarkers.ml @@ -535,7 +535,7 @@ module Dom = struct end module TransferFunctions = struct - module CFG = ProcCfg.NormalOneInstrPerNode + module CFG = ProcCfg.Normal module Domain = Dom type analysis_data = Summary.t InterproceduralAnalysis.t diff --git a/infer/src/checkers/ConfigImpactAnalysis.ml b/infer/src/checkers/ConfigImpactAnalysis.ml index 38673cec6..a304423c3 100644 --- a/infer/src/checkers/ConfigImpactAnalysis.ml +++ b/infer/src/checkers/ConfigImpactAnalysis.ml @@ -223,7 +223,7 @@ module Dom = struct end module TransferFunctions = struct - module CFG = ProcCfg.NormalOneInstrPerNode + module CFG = ProcCfg.Normal module Domain = Dom type analysis_data = Summary.t InterproceduralAnalysis.t