Home
last modified time | relevance | path

Searched refs:RefVal (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h51 class RefVal {
184 RefVal operator-(size_t i) const {
189 RefVal operator+(size_t i) const {
194 RefVal operator^(Kind k) const {
199 RefVal autorelease() const { in autorelease()
204 RefVal withIvarAccess() const { in withIvarAccess()
210 RefVal releaseViaIvar() const { in releaseViaIvar()
217 bool hasSameState(const RefVal &X) const { in hasSameState()
222 bool operator==(const RefVal& X) const {
335 RefVal V, ArgEffect E, RefVal::Kind &hasErr,
[all …]
H A DRetainCountChecker.cpp218 RefVal::Kind hasErr = (RefVal::Kind) 0; in checkPostStmt()
237 RefVal::Kind hasErr = (RefVal::Kind) 0; in processObjCLiterals()
326 RefVal PlusZero = RefVal::makeNotOwned(Kind, Ty); in checkPostStmt()
611 RefVal::Kind hasErr = (RefVal::Kind) 0; in checkSummary()
752 case RefVal::Owned: in updateSymbol()
788 case RefVal::Owned: in updateSymbol()
803 case RefVal::Owned: in updateSymbol()
997 RefVal X = *T; in processReturn()
1000 case RefVal::Owned: { in processReturn()
1008 case RefVal::NotOwned: { in processReturn()
[all …]
H A DRetainCountDiagnostics.cpp94 const RefVal *PrevT, in shouldGenerateNote()
95 const RefVal &CurrV, in shouldGenerateNote()
98 RefVal PrevV = *PrevT; in shouldGenerateNote()
106 if (CurrV.getKind() == RefVal::Released) { in shouldGenerateNote()
116 case RefVal::Owned: in shouldGenerateNote()
117 case RefVal::NotOwned: in shouldGenerateNote()
138 case RefVal::Released: in shouldGenerateNote()
147 case RefVal::ReturnedOwned: in shouldGenerateNote()
156 case RefVal::ReturnedNotOwned: in shouldGenerateNote()
481 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()
[all …]
/llvm-project-15.0.7/llvm/lib/DebugInfo/DWARF/
H A DDWARFVerifier.cpp735 Optional<uint64_t> RefVal = AttrValue.Value.getAsReference(); in verifyDebugInfoForm() local
736 assert(RefVal); in verifyDebugInfoForm()
737 if (RefVal) { in verifyDebugInfoForm()
751 LocalReferences[*RefVal].insert(Die.getOffset()); in verifyDebugInfoForm()
759 Optional<uint64_t> RefVal = AttrValue.Value.getAsReference(); in verifyDebugInfoForm() local
760 assert(RefVal); in verifyDebugInfoForm()
761 if (RefVal) { in verifyDebugInfoForm()
762 if (*RefVal >= DieCU->getInfoSection().Data.size()) { in verifyDebugInfoForm()
770 CrossUnitReferences[*RefVal].insert(Die.getOffset()); in verifyDebugInfoForm()