diff options
| author | Anton Yartsev <anton.yartsev@gmail.com> | 2013-04-19 09:39:51 +0000 |
|---|---|---|
| committer | Anton Yartsev <anton.yartsev@gmail.com> | 2013-04-19 09:39:51 +0000 |
| commit | 044fe23e79fff3841cc4c315f8c97e1cdccdd8dd (patch) | |
| tree | b779254f4a02e8419f6fef3d8fcc59ee50fab768 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | c3e81e78e8b1d5ba3df2d5801841b4fbc53c1bd8 (diff) | |
[analyzer] Call proper callback for const regions escaped other then on call.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179846 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 885a5adeec..92a3a952df 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1811,7 +1811,8 @@ ExprEngine::notifyCheckersOfPointerEscape(ProgramStateRef State, return getCheckerManager().runCheckersForPointerEscape(State, *Invalidated, 0, - PSK_EscapeOther); + PSK_EscapeOther, + IsConst); // Note: Due to current limitations of RegionStore, we only process the top // level const pointers correctly. The lower level const pointers are |