commit bc0cddf0c8dcf361e8f6c7d91f7fa417add888a1
author George Karpenkov <ekarpenkov@apple.com> Fri Aug 17 21:42:59 2018 +0000
committer George Karpenkov <ekarpenkov@apple.com> Fri Aug 17 21:42:59 2018 +0000
tree 0a9baf479405a2ee567ed9709956480dc42bf0c3
parent 03011b2d98a26065a9e1f35b56a441ac7db5fec6

[analyzer] Re-instate support for MakeCollectable is RetainCountChecker

Differential Revision: https://reviews.llvm.org/D50872

llvm-svn: 340097

clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
index a0ffe30..89b487a 100644
--- a/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
@@ -581,6 +581,8 @@
   case DecRefMsgAndStopTrackingHard:
     E = IgnoreRetainMsg ? StopTracking : DecRefAndStopTrackingHard;
     break;
+  case MakeCollectable:
+    E = DoNothing;
   }
 
   // Handle all use-after-releases.
@@ -593,8 +595,9 @@
   switch (E) {
     case DecRefMsg:
     case IncRefMsg:
+    case MakeCollectable:
     case DecRefMsgAndStopTrackingHard:
-      llvm_unreachable("DecRefMsg/IncRefMsg already converted");
+      llvm_unreachable("DecRefMsg/IncRefMsg/MakeCollectable already converted");
 
     case UnretainedOutParameter:
     case RetainedOutParameter: