diff --git a/test/Analysis/retain-release.m b/test/Analysis/retain-release.m index 162e2652ce..1c0bb964b2 100644 --- a/test/Analysis/retain-release.m +++ b/test/Analysis/retain-release.m @@ -129,6 +129,17 @@ typedef mach_error_t DAReturn; typedef const struct __DADissenter * DADissenterRef; extern DADissenterRef DADissenterCreate( CFAllocatorRef allocator, DAReturn status, CFStringRef string ); + @interface NSArray : NSObject + - (NSUInteger)count; + + (id)array; + @end + +@interface NSAutoreleasePool : NSObject {} ++ (void)addObject:(id)anObject; +- (void)addObject:(id)anObject; +- (void)drain; +@end + //===----------------------------------------------------------------------===// // Test cases. //===----------------------------------------------------------------------===// @@ -488,6 +499,18 @@ void rdar6704930(unsigned char *s, unsigned int length) { } @end +//===----------------------------------------------------------------------===// +// clang checker fails to catch use-after-release +//===----------------------------------------------------------------------===// + +int rdar_6257780() { + NSAutoreleasePool * pool = [[NSAutoreleasePool alloc] init]; + NSArray *array = [NSArray array]; + [array release]; // expected-warning{{Incorrect decrement of the reference count of an object is not owned at this point by the caller}} + [pool drain]; + return 0; +} + //===----------------------------------------------------------------------===// // Tests of ownership attributes. //===----------------------------------------------------------------------===//