StaticAnalyzer/Checkers/RetainCountChecker.cpp

80     Released,  // Object has been released.
217     case Released:
218       Out << "Released";
1924       if (CurrV.getKind() == RefVal::Released) {
1948         if (CurrV.getKind() == RefVal::Released) {
1990           if (PrevV.getKind() == RefVal::Released) {
1998         case RefVal::Released:
2925   if (!C.isObjCGCEnabled() && V.getKind() == RefVal::Released) {
2951           V = V ^ RefVal::Released;
2991         case RefVal::Released:
3004           // case 'RefVal::Released' handled above.
3011                                                    : RefVal::Released);
3029         case RefVal::Released: