ΒΆclang::ento::ProgramStateRef markReleased(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym,
const clang::Expr* Origin)
clang::ento::ProgramStateRef markReleased(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym,
const clang::Expr* Origin)
Declared at: clang/lib/StaticAnalyzer/Checkers/AllocationState.h:20
Parameters
- clang::ento::ProgramStateRef State
- clang::ento::SymbolRef Sym
- const clang::Expr* Origin