51 class RefVal {
110   RefVal(Kind k, ObjKind o, unsigned cnt, unsigned acnt, QualType t,  in RefVal()  function
172   static RefVal makeOwned(ObjKind o, QualType t) {  in makeOwned()
173     return RefVal(Owned, o, /*Count=*/1, 0, t, IvarAccessHistory::None);  in makeOwned()
180   static RefVal makeNotOwned(ObjKind o, QualType t) {  in makeNotOwned()
181     return RefVal(NotOwned, o, /*Count=*/0, 0, t, IvarAccessHistory::None);  in makeNotOwned()
184   RefVal operator-(size_t i) const {
185     return RefVal(getKind(), getObjKind(), getCount() - i,
189   RefVal operator+(size_t i) const {
190     return RefVal(getKind(), getObjKind(), getCount() + i,
194   RefVal operator^(Kind k) const {
195     return RefVal(k, getObjKind(), getCount(), getAutoreleaseCount(),
199   RefVal autorelease() const {  in autorelease()
200     return RefVal(getKind(), getObjKind(), getCount(), getAutoreleaseCount()+1,  in autorelease()
204   RefVal withIvarAccess() const {  in withIvarAccess()
206     return RefVal(getKind(), getObjKind(), getCount(), getAutoreleaseCount(),  in withIvarAccess()
210   RefVal releaseViaIvar() const {  in releaseViaIvar()
212     return RefVal(getKind(), getObjKind(), getCount(), getAutoreleaseCount(),  in releaseViaIvar()
217   bool hasSameState(const RefVal &X) const {  in hasSameState()
222   bool operator==(const RefVal& X) const {
327                                 ExplodedNode *Pred, RetEffect RE, RefVal X,
335                                RefVal V, ArgEffect E, RefVal::Kind &hasErr,
338   const RefCountBug &errorKindToBugKind(RefVal::Kind ErrorKind,
342                            RefVal::Kind ErrorKind, SymbolRef Sym,
348                                     SymbolRef sid, RefVal V,
355                           RefVal V,
380 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym);