[analyzer] Document existence of ConstPointerEscape.

llvm-svn: 178311
This commit is contained in:
Anna Zaks 2013-03-28 23:15:32 +00:00
parent 333481b90b
commit 4b04e66c4f
1 changed files with 12 additions and 0 deletions

View File

@ -52,6 +52,7 @@ class CheckerDocumentation : public Checker< check::PreStmt<ReturnStmt>,
check::LiveSymbols,
check::RegionChanges,
check::PointerEscape,
check::ConstPointerEscape,
check::Event<ImplicitNullDerefEvent>,
check::ASTDecl<FunctionDecl> > {
public:
@ -274,6 +275,17 @@ public:
return State;
}
/// \brief Called when const pointers escape.
///
/// Note: in most cases checkPointerEscape callback is sufficient.
/// \sa checkPointerEscape
ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
const InvalidatedSymbols &Escaped,
const CallEvent *Call,
PointerEscapeKind Kind) const {
return State;
}
/// check::Event<ImplicitNullDerefEvent>
void checkEvent(ImplicitNullDerefEvent Event) const {}