[PATCH] D35613: Add Support for Generic Reference Counting Annotations in RetainCountChecker

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp:2012
+      } else if (CurrV.getObjKind() == RetEffect::GenericC) {
+        if (Sym->getType().isNull()) {
+          os << " returns an object with a ";
----------------
I don't think this can happen. Symbols always have a type, see `isValidTypeForSymbol()`. These branches can be removed from the surrounding code as well.


Repository:
  rL LLVM

https://reviews.llvm.org/D35613