50 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3typedef unsigned int size_t;4@protocol P @end5 6@interface NSMutableArray7- (id)objectAtIndexedSubscript:(size_t)index;8- (void)setObject:(id)object atIndexedSubscript:(size_t)index;9@end10 11@interface NSMutableDictionary12- (id)objectForKeyedSubscript:(id)key;13- (void)setObject:(id)object forKeyedSubscript:(size_t)key;14@end15 16id 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 23void 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 31void 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 36void testUnqualifiedId(id unqualId) {37 id object = unqualId[10];38 unqualId[10] = object;39}40 41@protocol Subscriptable42- (id)objectAtIndexedSubscript:(size_t)index;43- (void)setObject:(id)object atIndexedSubscript:(size_t)index;44@end45 46void testValidQualifiedId(id<Subscriptable> qualifiedId) {47 id object = qualifiedId[10];48 qualifiedId[10] = object;49}50