]> granicus.if.org Git - clang/commit
[analyzer] Add pointer escape type param to checkPointerEscape callback
authorAnna Zaks <ganna@apple.com>
Thu, 7 Feb 2013 23:05:43 +0000 (23:05 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 7 Feb 2013 23:05:43 +0000 (23:05 +0000)
commit233e26acc0ff2a1098f4c813f69286fce840a422
treeebe3c719228b939aaa886d5d72a1cdcceb6b9ab7
parent2b6876173b36d92aaf379c29cb339d91b4d358ee
[analyzer] Add pointer escape type param to checkPointerEscape callback

The checkPointerEscape callback previously did not specify how a
pointer escaped. This change includes an enum which describes the
different ways a pointer may escape. This enum is passed to the
checkPointerEscape callback when a pointer escapes. If the escape
is due to a function call, the call is passed. This changes
previous behavior where the call is passed as NULL if the escape
was due to indirectly invalidating the region the pointer referenced.

A patch by Branden Archer!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@174677 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/Checker.h
include/clang/StaticAnalyzer/Core/CheckerManager.h
lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp
lib/StaticAnalyzer/Checkers/MallocChecker.cpp
lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp
lib/StaticAnalyzer/Core/CheckerManager.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/Inputs/system-header-simulator-for-simple-stream.h
test/Analysis/Inputs/system-header-simulator.h
test/Analysis/malloc.c
test/Analysis/simple-stream-checks.c