Home
last modified time | relevance | path

Searched refs:PostConditionKind (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DProgramPoint.cpp76 case PostConditionKind: in getProgramPointKindName()
128 case PostConditionKind: in getSourceLocation()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DProgramPoint.h74 PostConditionKind, enumerator
368 : PostStmt(S, PostConditionKind, L, tag) {} in PostStmt() argument
374 return Location.getKind() == PostConditionKind; in isKind()