Home | History | Annotate | Download | only in SemaObjC
      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:(double)index; // expected-note {{parameter of type 'double' is declared here}}
      8 - (void)setObject:(id *)object atIndexedSubscript:(void *)index; // expected-note {{parameter of type 'void *' is declared here}} \
      9 								 // expected-note {{parameter of type 'id *' is declared here}}
     10 @end
     11 @interface I @end
     12 
     13 int main() {
     14   NSMutableArray<P> * array;
     15   id  oldObject = array[10]; // expected-error {{method index parameter type 'double' is not integral type}}
     16   array[3] = 0; // expected-error {{method index parameter type 'void *' is not integral type}} \
     17                 // expected-error {{cannot assign to this array because assigning method's 2nd parameter of type 'id *' is not an Objective-C pointer type}}
     18 
     19   I* iarray;
     20   iarray[3] = 0; // expected-error {{expected method to write array element not found on object of type 'I *'}}
     21   I* p = iarray[4]; // expected-error {{expected method to read array element not found on object of type 'I *'}}
     22 
     23   oldObject = array[10]++; // expected-error {{illegal operation on Objective-C container subscripting}}
     24   oldObject = array[10]--; // expected-error {{illegal operation on Objective-C container subscripting}}
     25   oldObject = --array[10]; // expected-error {{illegal operation on Objective-C container subscripting}}
     26 }
     27 
     28 @interface NSMutableDictionary
     29 - (id)objectForKeyedSubscript:(id*)key; // expected-note {{parameter of type 'id *' is declared here}}
     30 - (void)setObject:(void*)object forKeyedSubscript:(id*)key; // expected-note {{parameter of type 'void *' is declared here}} \
     31                                                             // expected-note {{parameter of type 'id *' is declared here}}
     32 @end
     33 @class NSString;
     34 
     35 void testDict() {
     36   NSMutableDictionary *dictionary;
     37   NSString *key;
     38   id newObject, oldObject;
     39   oldObject = dictionary[key];  // expected-error {{method key parameter type 'id *' is not object type}}
     40   dictionary[key] = newObject;  // expected-error {{method object parameter type 'void *' is not object type}} \
     41                                 // expected-error {{method key parameter type 'id *' is not object type}}
     42 }
     43