clang  8.0.0svn
Namespaces | Functions
AllocationState.h File Reference
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Include dependency graph for AllocationState.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 clang
 Dataflow Directional Tag Classes.
 
 clang::ento
 
 clang::ento::allocation_state
 

Functions

ProgramStateRef clang::ento::allocation_state::markReleased (ProgramStateRef State, SymbolRef Sym, const Expr *Origin)
 
std::unique_ptr< BugReporterVisitorclang::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. More...
 
const MemRegion * clang::ento::allocation_state::getContainerObjRegion (ProgramStateRef State, SymbolRef Sym)
 'Sym' represents a pointer to the inner buffer of a container object. More...