Home
last modified time | relevance | path

Searched refs:RetEffect (Results 1 – 5 of 5) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DRetainSummaryManager.h140 class RetEffect {
170 RetEffect(Kind k, ObjKind o = ObjKind::AnyObj) : K(k), O(o) {} in K()
185 bool operator==(const RetEffect &Other) const {
189 static RetEffect MakeOwnedWhenTrackedReceiver() { in MakeOwnedWhenTrackedReceiver()
190 return RetEffect(OwnedWhenTrackedReceiver, ObjKind::ObjC); in MakeOwnedWhenTrackedReceiver()
193 static RetEffect MakeOwned(ObjKind o) { in MakeOwned()
194 return RetEffect(OwnedSymbol, o); in MakeOwned()
196 static RetEffect MakeNotOwned(ObjKind o) { in MakeNotOwned()
197 return RetEffect(NotOwnedSymbol, o); in MakeNotOwned()
199 static RetEffect MakeNoRet() { in MakeNoRet()
[all …]
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DRetainSummaryManager.cpp316 return getPersistentSummary(RetEffect::MakeOwned(ObjKind::CF), in getSummaryForObjCOrCFObject()
321 return getPersistentSummary(RetEffect::MakeNoRet(), ScratchArgs); in getSummaryForObjCOrCFObject()
330 return getPersistentSummary(RetEffect::MakeOwned(ObjKind::CF), ScratchArgs, in getSummaryForObjCOrCFObject()
337 return getPersistentSummary(RetEffect::MakeNoRet(), in getSummaryForObjCOrCFObject()
345 return getPersistentSummary(RetEffect::MakeNoRet(), in getSummaryForObjCOrCFObject()
356 return getPersistentSummary(RetEffect::MakeNoRet(), in getSummaryForObjCOrCFObject()
365 return getPersistentSummary(RetEffect::MakeOwned(ObjKind::CF), ScratchArgs, in getSummaryForObjCOrCFObject()
370 return getPersistentSummary(RetEffect::MakeNoRet(), in getSummaryForObjCOrCFObject()
381 return getPersistentSummary(RetEffect::MakeNoRet(), in getSummaryForObjCOrCFObject()
391 return getPersistentSummary(RetEffect::MakeNoRet(), in getSummaryForObjCOrCFObject()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/
H A DRetainPtrCtorAdoptChecker.cpp265 case RetEffect::OwnedSymbol: in checkCreateOrCopyFunction()
266 case RetEffect::OwnedWhenTrackedReceiver: in checkCreateOrCopyFunction()
404 auto RetEffect = Summary->getRetEffect(); in retainsReturnValue() local
405 switch (RetEffect.getKind()) { in retainsReturnValue()
406 case RetEffect::NoRet: in retainsReturnValue()
408 case RetEffect::OwnedSymbol: in retainsReturnValue()
410 case RetEffect::NotOwnedSymbol: in retainsReturnValue()
412 case RetEffect::OwnedWhenTrackedReceiver: in retainsReturnValue()
414 case RetEffect::NoRetHard: in retainsReturnValue()
508 auto RetEffect = Summary->getRetEffect(); in isOwned() local
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp413 static std::optional<RefVal> refValFromRetEffect(RetEffect RE, in refValFromRetEffect()
476 RetEffect RE = Summ.getRetEffect(); in processSummaryOfInlined()
479 if (RE.getKind() == RetEffect::NoRetHard) in processSummaryOfInlined()
677 RetEffect RE = Summ.getRetEffect(); in checkSummary()
679 if (RE.getKind() == RetEffect::OwnedWhenTrackedReceiver) { in checkSummary()
683 RE = RetEffect::MakeNoRet(); in checkSummary()
1047 RetEffect RE = RetEffect::MakeNoRet(); in processReturn()
1066 RetEffect RE, RefVal X, in checkReturnWithRetEffect()
1080 if (RE.getKind() != RetEffect::NoRet) { in checkReturnWithRetEffect()
H A DRetainCountChecker.h326 ExplodedNode *Pred, RetEffect RE, RefVal X,