[PATCH] D34937: Suppressing Reference Counting Diagnostics for Functions Containing 'rc_ownership_trusted_implementation' Annotate Attribute

Devin Coughlin via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 17 18:27:57 PDT 2017


dcoughlin added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp:3412
+      if (FD->getDefinition()) {
+        canEval = hasRCAnnotation(FD->getDefinition(),
+                                  "rc_ownership_trusted_implementation");
----------------
I'd like you to keep a call to "isTrustedReferenceCountImplementation()". The name of the function indicates what it means (rather than how it does it), which will be important when/if we change how annotations are implemented (for example, away from using the 'annotation' attribute to a custom attribute).

Using common code to check for annotations makes a lot sense though -- can you call hasRCAnnotation() from inside isTrustedReferenceCountImplementation()?


Repository:
  rL LLVM

https://reviews.llvm.org/D34937





More information about the cfe-commits mailing list