From 1ed8d4ba8e244ed2177471028335a04f838283af Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Mon, 24 Nov 2008 07:02:06 +0000 Subject: [PATCH] Cleanup code with utility method. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59951 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/GRExprEngine.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 084796cd99..cb1aceafac 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1074,8 +1074,8 @@ const GRState* GRExprEngine::EvalLocation(Stmt* Ex, NodeTy* Pred, // Get the index of the accessed element. SVal Idx = ER->getIndex(); // Get the extent of the array. - SVal NumElements = StateMgr.getStoreManager().getSizeInElements(StNotNull, - ER->getSuperRegion()); + SVal NumElements = getStoreManager().getSizeInElements(StNotNull, + ER->getSuperRegion()); bool isFeasibleInBound = false; const GRState* StInBound = AssumeInBound(StNotNull, Idx, NumElements, -- 2.40.0