[LLVMbugs] [Bug 14788] New: RetainCountChecker should check for annotation macros when creating diagnostics

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=14788

             Bug #: 14788
           Summary: RetainCountChecker should check for annotation macros
                    when creating diagnostics
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: kremenek at apple.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Various diagnostics in RetainCountChecker say things like:

    if (D->getAttr<CFReturnsNotRetainedAttr>())
      os << "that is annotated as CF_RETURNS_NOT_RETAINED";
    else if (D->getAttr<NSReturnsNotRetainedAttr>())
      os << "that is annotated as NS_RETURNS_NOT_RETAINED";

We should check for the existence of macros like CF_RETURNS_NOT_RETAINED before
issuing such diagnostics.  If the macro is not defined, we should just mention
the attribute.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.