clang/test/Analysis/NSPanel.m

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.RetainCount,alpha.core -verify -Wno-objc-root-class %s
   2 // expected-no-diagnostics
   3
   4 // BEGIN delta-debugging reduced header stuff
   5
   6 typedef struct objc_selector *SEL;
   7 typedef signed char BOOL;
   8 typedef unsigned int NSUInteger;
   9 typedef struct _NSZone NSZone;
  10 @class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
  11 @protocol NSObject
  12 - (BOOL)isEqual:(id)object;
  13 - (oneway void)release;
  14 @end
  15 @protocol NSCopying
  16 - (id)copyWithZone:(NSZone *)zone;
  17 @end
  18 @protocol NSMutableCopying
  19 - (id)mutableCopyWithZone:(NSZone *)zone;
  20 @end
  21 @protocol NSCoding
  22 - (void)encodeWithCoder:(NSCoder *)aCoder;
  23 @end
  24 @interface NSObject <NSObject> {}
  25 + (id)alloc;
  26 @end
  27 typedef float CGFloat;
  28 typedef struct _NSPoint {} NSRect;
  29 static __inline__ __attribute__((always_inline)) NSRect NSMakeRect(CGFloat x, CGFloat y, CGFloat w, CGFloat h) { NSRect r; return r; }
  30 typedef struct {} NSFastEnumerationState;
  31 @protocol NSFastEnumeration
  32 - (NSUInteger)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(NSUInteger)len;
  33 @end
  34 @class NSString;
  35 @interface NSArray : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration>
  36 - (NSUInteger)count;
  37 @end
  38 @interface NSMutableArray : NSArray
  39 - (void)addObject:(id)anObject;
  40 @end @class NSAppleEventDescriptor;
  41 enum { NSBackingStoreRetained = 0,     NSBackingStoreNonretained = 1,     NSBackingStoreBuffered = 2 };
  42 typedef NSUInteger NSBackingStoreType;
  43 @interface NSResponder : NSObject <NSCoding> {} @end
  44 @protocol NSAnimatablePropertyContainer
  45 - (id)animator;
  46 @end
  47 @protocol NSValidatedUserInterfaceItem
  48 - (SEL)action;
  49 @end
  50 @protocol NSUserInterfaceValidations
  51 - (BOOL)validateUserInterfaceItem:(id <NSValidatedUserInterfaceItem>)anItem;
  52 @end  @class NSDate, NSDictionary, NSError, NSException, NSNotification;
  53 enum { NSBorderlessWindowMask = 0,     NSTitledWindowMask = 1 << 0,     NSClosableWindowMask = 1 << 1,     NSMiniaturizableWindowMask = 1 << 2,     NSResizableWindowMask = 1 << 3  };
  54 @interface NSWindow : NSResponder  <NSAnimatablePropertyContainer, NSUserInterfaceValidations>    {}
  55 - (id)initWithContentRect:(NSRect)contentRect styleMask:(NSUInteger)aStyle backing:(NSBackingStoreType)bufferingType defer:(BOOL)flag;
  56 @end
  57 extern NSString *NSWindowDidBecomeKeyNotification;
  58 @interface NSPanel : NSWindow {}
  59 @end
  60 @class NSTableHeaderView;
  61
  62 // END delta-debugging reduced header stuff
  63
  64 @interface MyClass
  65 {
  66         NSMutableArray *panels;
  67 }
  68 - (void)myMethod;
  69 - (void)myMethod2;
  70 @end
  71
  72 @implementation MyClass // no-warning
  73 - (void)myMethod
  74 {
  75   NSPanel *panel = [[NSPanel alloc] initWithContentRect:NSMakeRect(0, 0, 200, 200) styleMask:NSBorderlessWindowMask backing:NSBackingStoreBuffered defer:(BOOL)1];
  76
  77   [panels addObject:panel];
  78
  79   [panel release]; // no-warning
  80 }
  81 - (void)myMethod2
  82 {
  83   NSPanel *panel = [[NSPanel alloc] initWithContentRect:NSMakeRect(0, 0, 200, 200) styleMask:NSBorderlessWindowMask backing:NSBackingStoreBuffered defer:(BOOL)1]; // no-warning
  84
  85   [panels addObject:panel];
  86 }
  87 @end
  88