Home
last modified time | relevance | path

Searched refs:CallExitEndState (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNoOwnershipChangeVisitor.h33 ProgramStateRef CallExitEndState) = 0;
H A DStreamChecker.cpp767 ProgramStateRef CallExitEndState) final { in hasResourceStateChanged() argument
769 CallExitEndState->get<StreamMap>(Sym); in hasResourceStateChanged()
H A DMallocChecker.cpp790 ProgramStateRef CallExitEndState) final { in hasResourceStateChanged() argument
792 CallExitEndState->get<RegionState>(Sym); in hasResourceStateChanged()