[LLVMbugs] [Bug 13483] New: Autosynthesized ivars are not available from C functions via the arrow operator

[bugzilla-daemon at llvm.org]

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

             Bug #: 13483
           Summary: Autosynthesized ivars are not available from C
                    functions via the arrow operator
           Product: clang
           Version: 3.1
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: curt.clifton at mac.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 8965
  --> http://llvm.org/bugs/attachment.cgi?id=8965
Xcode project demonstrating the problem, see main.m

Attempting to accessing an autosynthesized ivar via the -> operator on a
parameter passed to a C function results in a spurious error: 'Foo' does not
have a member named '_ivar'.

Steps to Reproduce:

1. Build the attached project.
2. See the warning on line 13.
3. Uncomment the explicit ivar declaration on line 9.
4. Build again.
5. Notice that the error goes away.

Expected Results:

The self->_valid reference on line 13 should be allowed to access the
implicitly declared ivar for the 'valid' property.

Actual Results:

Autosynthesized ivars are not available from C functions via the arrow
operator.

Regression:

Unknown, but unlikely, since autosynthesized properties are new-ish.

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