clang  7.0.0
Functions
clang::ento::allocation_state Namespace Reference

Functions

ProgramStateRef markReleased (ProgramStateRef State, SymbolRef Sym, const Expr *Origin)
 
std::unique_ptr< BugReporterVisitorgetInnerPointerBRVisitor (SymbolRef Sym)
 This function provides an additional visitor that augments the bug report with information relevant to memory errors caused by the misuse of AF_InnerBuffer symbols. More...
 

Function Documentation

◆ getInnerPointerBRVisitor()

std::unique_ptr< BugReporterVisitor > clang::ento::allocation_state::getInnerPointerBRVisitor ( SymbolRef  Sym)

This function provides an additional visitor that augments the bug report with information relevant to memory errors caused by the misuse of AF_InnerBuffer symbols.

Definition at line 307 of file InnerPointerChecker.cpp.

References clang::ento::CheckerManager::registerChecker().

◆ markReleased()

ProgramStateRef clang::ento::allocation_state::markReleased ( ProgramStateRef  State,
SymbolRef  Sym,
const Expr Origin 
)