diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-24 07:02:06 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-24 07:02:06 +0000 |
| commit | 6587c754887241cd540e6ece55b67edf09ab58df (patch) | |
| tree | bd6e4b7c9251c52b0f0437361af2174f047ea21d /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 1e5665e6be5b00219581c1b951e0e5721c8b64e0 (diff) | |
| download | bcm5719-llvm-6587c754887241cd540e6ece55b67edf09ab58df.tar.gz bcm5719-llvm-6587c754887241cd540e6ece55b67edf09ab58df.zip | |
Cleanup code with utility method.
llvm-svn: 59951
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 084796cd994..cb1aceaface 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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, |
