[cfe-commits] r59951 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Mon Nov 24 01:02:06 2008
New Revision: 59951

URL: http://llvm.org/viewvc/llvm-project?rev=59951&view=rev
Log:
Cleanup code with utility method.

Modified:
    cfe/trunk/lib/Analysis/GRExprEngine.cpp

Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=59951&r1=59950&r2=59951&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Mon Nov 24 01:02:06 2008
@@ -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,