diff options
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 4 |
1 files 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, |