Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DRetainSummaryManager.cpp336 ScratchArgs = AF.add(ScratchArgs, 1, ArgEffect(DecRef, ObjKind::CF)); in getSummaryForObjCOrCFObject()
344 ScratchArgs = AF.add(ScratchArgs, 2, ArgEffect(DecRef, ObjKind::CF)); in getSummaryForObjCOrCFObject()
460 return getUnarySummary(FT, DecRef); in getSummaryForObjCOrCFObject()
575 case DecRef: in getStopTrackingHardEquivalent()
819 /*ThisEff=*/ArgEffect(DecRef, ObjKind::OS)); in getOSSummaryReleaseRule()
917 Template->addArg(AF, parm_idx, ArgEffect(DecRef, *K)); in applyParamAnnotationEffect()
993 Template->setThisEffect(ArgEffect(DecRef, ObjKind::OS)); in updateSummaryFromAnnotations()
1007 Template->setReceiverEffect(ArgEffect(DecRef, ObjKind::ObjC)); in updateSummaryFromAnnotations()
1061 ReceiverEff = ArgEffect(DecRef, ObjKind::ObjC); in getStandardMethodSummary()
1079 ReceiverEff = ArgEffect(DecRef, ObjKind::ObjC); in getStandardMethodSummary()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp722 case DecRef: in updateSymbol()
793 case DecRef: in updateSymbol()
1345 RefVal NewVal = AE->getKind() == DecRef ? RefVal::makeOwned(K, Ty) in checkBeginFunction()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DRetainSummaryManager.h66 DecRef, enumerator