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,
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
