clang/test/Analysis/objc-subscript.m

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.RetainCount -verify -Wno-objc-root-class %s
   2
   3 typedef signed char BOOL;
   4 typedef unsigned int NSUInteger;
   5
   6 @interface NSObject
   7 +(id)alloc;
   8 -(id)init;
   9 -(id)autorelease;
  10 -(id)copy;
  11 -(id)retain;
  12 @end
  13
  14 @interface Subscriptable : NSObject
  15 - (void)setObject:(id)obj atIndexedSubscript:(NSUInteger)index;
  16 - (id)objectAtIndexedSubscript:(NSUInteger)index;
  17
  18 - (void)setObject:(id)obj forKeyedSubscript:(id)key;
  19 - (id)objectForKeyedSubscript:(id)key;
  20 @end
  21
  22 @interface Test : Subscriptable
  23 @end
  24
  25 @implementation Test
  26
  27 - (id)storeDoesNotRetain {
  28   Test *cell = [[[Test alloc] init] autorelease];
  29
  30   NSObject *string1 = [[NSObject alloc] init]; // expected-warning {{Potential leak}}
  31   cell[0] = string1;
  32   cell[self] = string1;
  33   cell[string1] = self;
  34
  35   return cell;
  36 }
  37
  38 - (id)getDoesNotRetain:(BOOL)keyed {
  39   if (keyed)
  40     return [self[self] autorelease]; // expected-warning{{Object autoreleased too many times}}
  41   else
  42     return [self[0] autorelease]; // expected-warning{{Object autoreleased too many times}}
  43 }
  44
  45 - (id)testUninitializedObject:(BOOL)keyed {
  46   Test *o;
  47   if (keyed) {
  48     if (o[self]) // expected-warning {{Subscript access on an uninitialized object pointer}}
  49       return o; // no-warning (sink)
  50   } else {
  51     if (o[0]) // expected-warning {{Subscript access on an uninitialized object pointer}}
  52       return o; // no-warning (sink)
  53   }
  54   return self;
  55 }
  56
  57 - (void)testUninitializedArgument:(id)input testCase:(unsigned)testCase {
  58   NSUInteger i;
  59   id o;
  60
  61   switch (testCase) {
  62   case 0:
  63     self[0] = o; // expected-warning {{Argument for subscript setter is an uninitialized value}}
  64     break;
  65   case 1:
  66     self[i] = input; // expected-warning {{Subscript index is an uninitialized value}}
  67     break;
  68   case 2:
  69     (void)self[i]; // expected-warning {{Subscript index is an uninitialized value}}
  70     break;
  71   case 3:
  72     self[input] = o; // expected-warning {{Argument for subscript setter is an uninitialized value}}
  73     break;
  74   case 4:
  75     self[o] = input; // expected-warning {{Subscript index is an uninitialized value}}
  76     break;
  77   case 5:
  78     (void)self[o]; // expected-warning {{Subscript index is an uninitialized value}}
  79     break;
  80   default:
  81     break;
  82   }
  83
  84 }
  85
  86 @end