clang/test/SemaObjC/objc-container-subscripting-2.m

   1 // RUN: %clang_cc1  -fsyntax-only -verify %s
   2
   3 typedef unsigned int size_t;
   4 @protocol P @end
   5
   6 @interface NSMutableArray
   7 - (id)objectAtIndexedSubscript:(size_t)index;
   8 - (void)setObject:(id)object atIndexedSubscript:(size_t)index;
   9 @end
  10
  11 @interface NSMutableDictionary
  12 - (id)objectForKeyedSubscript:(id)key;
  13 - (void)setObject:(id)object forKeyedSubscript:(size_t)key;
  14 @end
  15
  16 id func(void) {
  17   NSMutableArray *array;
  18   float f;
  19   array[f] = array; // expected-error {{indexing expression is invalid because subscript type 'float' is not an integral or Objective-C pointer type}}
  20   return array[3.14]; // expected-error {{indexing expression is invalid because subscript type 'double' is not an integral or Objective-C pointer type}}
  21 }
  22
  23 void test_unused(void) {
  24   NSMutableArray *array;
  25   array[10]; // expected-warning {{container access result unused - container access should not be used for side effects}}
  26
  27   NSMutableDictionary *dict;
  28   dict[array]; // expected-warning {{container access result unused - container access should not be used for side effects}}
  29 }
  30
  31 void testQualifiedId(id<P> qualifiedId) {
  32   id object = qualifiedId[10];   // expected-error {{expected method to read array element not found on object of type 'id<P>'}}
  33   qualifiedId[10] = qualifiedId; // expected-error {{expected method to write array element not found on object of type 'id<P>'}}
  34 }
  35
  36 void testUnqualifiedId(id unqualId) {
  37   id object = unqualId[10];
  38   unqualId[10] = object;
  39 }
  40
  41 @protocol Subscriptable
  42 - (id)objectAtIndexedSubscript:(size_t)index;
  43 - (void)setObject:(id)object atIndexedSubscript:(size_t)index;
  44 @end
  45
  46 void testValidQualifiedId(id<Subscriptable> qualifiedId) {
  47   id object = qualifiedId[10];
  48   qualifiedId[10] = object;
  49 }