10 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H 11 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H 19 namespace allocation_state {
std::unique_ptr< BugReporterVisitor > getInnerPointerBRVisitor(SymbolRef Sym)
This function provides an additional visitor that augments the bug report with information relevant t...
Expr - This represents one expression.
Dataflow Directional Tag Classes.
ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin)