diff options
| author | Anna Zaks <ganna@apple.com> | 2012-02-14 21:55:24 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-02-14 21:55:24 +0000 |
| commit | 66c40400e7d6272b0cd675ada18dd62c1f0362c7 (patch) | |
| tree | fe11b549459380fc09ca9258d24bafe4c9b8db64 /lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 9050e3ad959d08fb53446a5e261e66aaa97d9fc8 (diff) | |
[analyzer] Make Malloc Checker optimistic in presence of inlining.
(In response of Ted's review of r150112.)
This moves the logic which checked if a symbol escapes through a
parameter to invalidateRegionCallback (instead of post CallExpr visit.)
To accommodate the change, added a CallOrObjCMessage parameter to
checkRegionChanges callback.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@150513 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ProgramState.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ProgramState.cpp b/lib/StaticAnalyzer/Core/ProgramState.cpp index 459bf83ce5..f52369ef4a 100644 --- a/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -179,7 +179,7 @@ ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, IS, Call, &Invalidated); ProgramStateRef newState = makeWithStore(newStore); - return Eng->processRegionChanges(newState, &IS, Regions, Invalidated); + return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call); } const StoreRef &newStore = |