[LLVMbugs] [Bug 12016] New: checker-259/260 failing on valid synthesize statements

[bugzilla-daemon at llvm.org]

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

             Bug #: 12016
           Summary: checker-259/260 failing on valid synthesize statements
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: bryan at foursquare.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


I recently upgraded our automated scan-build process to use checker-259 and
noticed that it is failing on the majority of our source files. Most of source
files use the following format when synthesizing ivars:

@synthesize
a = _a,
b = _b,
c = _c;

This format seems to be causing headaches for scan-build. I've eyeballed a few
of the error outputs and they all have the following errors:

error: synthesized property 'innerRect' must either be named the same as a     
        compatible ivar or must explicitly name an ivar
   2 innerRect   = _innerRect,

I would attach the mi file but it looks like the ones I have all contain our
proprietary source code. Also, happy to try to repro with a test source file if
thats helpful.

Thanks!

Bryan

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