/* APPLE LOCAL file radar 4816280 */
/* No warning for implementation with user-accessor, @dynamic or @synthesize properties. */
/* { dg-options "-fobjc-new-property -mmacosx-version-min=10.5" } */
/* { dg-do compile { target *-*-darwin* } } */

@interface Larry
@property int ivar;
@end

@implementation Larry
// no warning
- (void)setIvar:(int)arg{};
- (int)ivar{};
@end

@interface Moe
{
    int ivar;
}
@property int ivar;
@end

@implementation Moe
// no warning
@synthesize ivar;
- (void)setIvar:(int)arg{};
@end

@interface Curly
@property int ivar;
@end

@implementation Curly
// no warning
@dynamic ivar;
- (int)ivar{};
@end

int main (void) {return 0;}