commit 1ed8d4ba8e244ed2177471028335a04f838283af
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Nov 24 07:02:06 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Nov 24 07:02:06 2008 +0000
tree 12ef65aaf4951cf3e39abb0b62c2e829cf5ad0a2
parent d162584991885ab004a02573a73ce06422b921fc

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

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 084796c..cb1acea 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1074,8 +1074,8 @@
       // 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,