Lines Matching full:refval
75 class RefVal {
117 /// See the RefVal::Kind enum for possible values.
136 RefVal(Kind k, RetEffect::ObjKind o, unsigned cnt, unsigned acnt, QualType t,
198 static RefVal makeOwned(RetEffect::ObjKind o, QualType t,
200 return RefVal(Owned, o, Count, 0, t, IvarAccessHistory::None);
207 static RefVal makeNotOwned(RetEffect::ObjKind o, QualType t,
209 return RefVal(NotOwned, o, Count, 0, t, IvarAccessHistory::None);
212 RefVal operator-(size_t i) const {
213 return RefVal(getKind(), getObjKind(), getCount() - i,
217 RefVal operator+(size_t i) const {
218 return RefVal(getKind(), getObjKind(), getCount() + i,
222 RefVal operator^(Kind k) const {
223 return RefVal(k, getObjKind(), getCount(), getAutoreleaseCount(),
227 RefVal autorelease() const {
228 return RefVal(getKind(), getObjKind(), getCount(), getAutoreleaseCount()+1,
232 RefVal withIvarAccess() const {
234 return RefVal(getKind(), getObjKind(), getCount(), getAutoreleaseCount(),
238 RefVal releaseViaIvar() const {
240 return RefVal(getKind(), getObjKind(), getCount(), getAutoreleaseCount(),
246 bool hasSameState(const RefVal &X) const {
251 bool operator==(const RefVal& X) const {
267 void RefVal::print(raw_ostream &Out) const {
272 default: llvm_unreachable("Invalid RefVal kind");
333 case RefVal::ErrorOverAutorelease:
337 case RefVal::ErrorReturnedNotOwned:
362 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
364 static inline const RefVal *getRefBinding(ProgramStateRef State,
370 SymbolRef Sym, RefVal Val) {
1508 if (const RefVal *T = getRefBinding(State, Sym))
1903 const RefVal* CurrT = getRefBinding(CurrSt, Sym);
1906 const RefVal &CurrV = *CurrT;
1907 const RefVal *PrevT = getRefBinding(PrevSt, Sym);
2046 RefVal PrevV = *PrevT;
2055 if (CurrV.getKind() == RefVal::Released) {
2079 if (CurrV.getKind() == RefVal::Released) {
2100 case RefVal::Owned:
2101 case RefVal::NotOwned:
2120 if (PrevV.getKind() == RefVal::Released) {
2128 case RefVal::Released:
2130 RefVal::IvarAccessHistory::ReleasedAfterDirectAccess &&
2137 case RefVal::ReturnedOwned:
2146 case RefVal::ReturnedNotOwned:
2342 const RefVal* RV = getRefBinding(EndN->getState(), Sym);
2345 if (RV->getKind() == RefVal::ErrorLeakReturned) {
2374 else if (RV->getKind() == RefVal::ErrorGCLeakReturned) {
2648 ExplodedNode *Pred, RetEffect RE, RefVal X,
2655 RefVal V, ArgEffect E, RefVal::Kind &hasErr,
2659 RefVal::Kind ErrorKind, SymbolRef Sym,
2667 SymbolRef sid, RefVal V,
2673 SymbolRef Sym, RefVal V) const;
2764 const RefVal* T = getRefBinding(state, Sym);
2768 RefVal::Kind hasErr = (RefVal::Kind) 0;
2786 if (const RefVal* T = getRefBinding(state, sym)) {
2787 RefVal::Kind hasErr = (RefVal::Kind) 0;
2802 RefVal::makeNotOwned(RetEffect::ObjC, ResultTy));
2829 RefVal::makeNotOwned(RetEffect::ObjC, ResultTy));
2871 if (const RefVal *RV = getRefBinding(State, Sym)) {
2874 if (RV->getIvarAccessHistory() != RefVal::IvarAccessHistory::None ||
2884 RefVal PlusZero = RefVal::makeNotOwned(Kind, Ty);
2994 RefVal::makeNotOwned(RetEffect::CF, PointeeTy));
3015 RefVal::Kind hasErr = (RefVal::Kind) 0;
3026 if (const RefVal *T = getRefBinding(state, Sym)) {
3043 if (const RefVal *T = getRefBinding(state, Sym)) {
3090 state = setRefBinding(state, Sym, RefVal::makeOwned(RE.getObjKind(),
3107 state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(),
3136 RefVal V, ArgEffect E, RefVal::Kind &hasErr,
3162 if (!C.isObjCGCEnabled() && V.getKind() == RefVal::Released) {
3163 V = V ^ RefVal::ErrorUseAfterRelease;
3183 V = V ^ RefVal::ErrorDeallocGC;
3190 llvm_unreachable("Invalid RefVal state for an explicit dealloc.");
3191 case RefVal::Owned:
3193 V = V ^ RefVal::Released;
3196 case RefVal::NotOwned:
3197 V = V ^ RefVal::ErrorDeallocNotOwned;
3204 if (V.getKind() == RefVal::Owned) {
3205 V = V ^ RefVal::NotOwned;
3228 llvm_unreachable("Invalid RefVal state for a retain.");
3229 case RefVal::Owned:
3230 case RefVal::NotOwned:
3233 case RefVal::Released:
3236 V = (V ^ RefVal::Owned) + 1;
3246 // case 'RefVal::Released' handled above.
3247 llvm_unreachable("Invalid RefVal state for a release.");
3249 case RefVal::Owned:
3254 RefVal::IvarAccessHistory::AccessedDirectly)
3255 V = V ^ RefVal::NotOwned;
3257 V = V ^ RefVal::Released;
3265 case RefVal::NotOwned:
3271 RefVal::IvarAccessHistory::AccessedDirectly) {
3276 V = V.releaseViaIvar() ^ RefVal::Released;
3278 V = V ^ RefVal::ErrorReleaseNotOwned;
3283 case RefVal::Released:
3286 V = V ^ RefVal::ErrorUseAfterRelease;
3297 RefVal::Kind ErrorKind,
3306 if (const RefVal *RV = getRefBinding(St, Sym))
3307 if (RV->getIvarAccessHistory() != RefVal::IvarAccessHistory::None)
3318 case RefVal::ErrorUseAfterRelease:
3323 case RefVal::ErrorReleaseNotOwned:
3328 case RefVal::ErrorDeallocGC:
3333 case RefVal::ErrorDeallocNotOwned:
3411 const RefVal *Binding = nullptr;
3454 const RefVal *T = getRefBinding(state, Sym);
3459 RefVal X = *T;
3462 case RefVal::Owned: {
3466 X = X ^ RefVal::ReturnedOwned;
3470 case RefVal::NotOwned: {
3474 X = X ^ RefVal::ReturnedOwned;
3477 X = X ^ RefVal::ReturnedNotOwned;
3533 RetEffect RE, RefVal X,
3542 if (X.getIvarAccessHistory() != RefVal::IvarAccessHistory::None)
3555 X = X ^ RefVal::ErrorGCLeakReturned;
3562 X = X ^ RefVal::ErrorLeakReturned;
3583 RefVal::IvarAccessHistory::AccessedDirectly) {
3587 X.releaseViaIvar() ^ RefVal::ReturnedOwned);
3591 state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned);
3739 SymbolRef Sym, RefVal V) const {
3751 if (V.getKind() == RefVal::ReturnedOwned)
3757 V.getIvarAccessHistory() == RefVal::IvarAccessHistory::AccessedDirectly) {
3765 if (V.getKind() == RefVal::ReturnedOwned)
3766 V = V ^ RefVal::ReturnedNotOwned;
3768 V = V ^ RefVal::NotOwned;
3782 if (V.getIvarAccessHistory() != RefVal::IvarAccessHistory::None)
3787 V = V ^ RefVal::ErrorOverAutorelease;
3815 SymbolRef sid, RefVal V,
3825 if (V.getIvarAccessHistory() != RefVal::IvarAccessHistory::None)
3838 return setRefBinding(state, sid, V ^ RefVal::ErrorLeak);
3928 if (const RefVal *T = B.lookup(Sym)){
