diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-01-12 19:25:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-01-12 19:25:46 +0000 |
| commit | 3d3aea9374d745d76f9b448e42dec0d56d5f54ab (patch) | |
| tree | e2d9cad52677e51da5e8bfa5357e6eb2bc243a6b /clang/lib/StaticAnalyzer/Core/Store.cpp | |
| parent | 9eae723c1800d6dec010c0fed7a929596cec21b5 (diff) | |
| download | bcm5719-llvm-3d3aea9374d745d76f9b448e42dec0d56d5f54ab.tar.gz bcm5719-llvm-3d3aea9374d745d76f9b448e42dec0d56d5f54ab.zip | |
[analyzer] fix inlining's handling of mapping actual to formal arguments and limit the call stack depth. The analyzer can now accurately simulate factorial for limited depths.
llvm-svn: 148036
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/Store.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/Store.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/Store.cpp b/clang/lib/StaticAnalyzer/Core/Store.cpp index 543f87879d4..bbe0a1cfe30 100644 --- a/clang/lib/StaticAnalyzer/Core/Store.cpp +++ b/clang/lib/StaticAnalyzer/Core/Store.cpp @@ -23,7 +23,8 @@ StoreManager::StoreManager(ProgramStateManager &stateMgr) MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} StoreRef StoreManager::enterStackFrame(const ProgramState *state, - const StackFrameContext *frame) { + const LocationContext *callerCtx, + const StackFrameContext *calleeCtx) { return StoreRef(state->getStore(), *this); } |
