diff options
author | Anna Zaks <ganna@apple.com> | 2012-12-20 00:38:25 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-12-20 00:38:25 +0000 |
commit | bf53dfac8195835028bd6347433f7dbebcc29fc1 (patch) | |
tree | 52e15cb639417b3c9a1df69fb37c4221ee680ba3 /lib/StaticAnalyzer/Core/CallEvent.cpp | |
parent | b29740ae158f9421096a28bcc7ad6af7171b1874 (diff) |
[analyzer] Add the pointer escaped callback.
Instead of using several callbacks to identify the pointer escape event,
checkers now can register for the checkPointerEscape.
Converted the Malloc checker to use the new callback.
SimpleStreamChecker will be converted next.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170625 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/CallEvent.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/CallEvent.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Core/CallEvent.cpp b/lib/StaticAnalyzer/Core/CallEvent.cpp index 60b4d988d6..3709fd94ed 100644 --- a/lib/StaticAnalyzer/Core/CallEvent.cpp +++ b/lib/StaticAnalyzer/Core/CallEvent.cpp @@ -199,6 +199,7 @@ ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, // global variables. return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(), BlockCount, getLocationContext(), + /*ResultsInPointerEscape*/ true, /*Symbols=*/0, this); } |