[LLVMbugs] [Bug 14819] New: Static analyzer does not recognize custom allocation or assert macros.

[bugzilla-daemon at llvm.org]

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

             Bug #: 14819
           Summary: Static analyzer does not recognize custom allocation
                    or assert macros.
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: li.beinan at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


We use project-specifc macros for macros such as NEW/DELETE allocators, and
asserts everywhere in our codebase.
However, static analyzer (with Xcode4.x) does not see them as their original
C/C++ runtime library equivalent. So all our valid statements such as
null-checks were ignored and thus lead to false "memory leak" alarms by the
static analyzer.

If this is a missing feature in clang, would it be possible to customize the
analyzer to recognize our macros as valid statements?

-- 
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.