1 // RUN: %clang_cc1 -verify -Warray-bounds-pointer-arithmetic %s 2 3 // Test case from PR10615 4 struct ext2_super_block{ 5 unsigned char s_uuid[8]; // expected-note {{declared here}} 6 }; ext2_statfs(struct ext2_super_block * es,int a)7void* ext2_statfs (struct ext2_super_block *es,int a) 8 { 9 return (void *)es->s_uuid + sizeof(int); // no-warning 10 } broken(struct ext2_super_block * es,int a)11void* broken (struct ext2_super_block *es,int a) 12 { 13 return (void *)es->s_uuid + 80; // expected-warning {{refers past the end of the array}} 14 } 15 16 // Test case reduced from PR11594 17 struct S { int n; }; pr11594(struct S * s)18void pr11594(struct S *s) { 19 int a[10]; 20 int *p = a - s->n; 21 } 22 23 // Test case reduced from <rdar://problem/11387038>. This resulted in 24 // an assertion failure because of the typedef instead of an explicit 25 // constant array type. 26 struct RDar11387038 {}; 27 typedef struct RDar11387038 RDar11387038Array[1]; 28 struct RDar11387038_Table { 29 RDar11387038Array z; 30 }; 31 typedef struct RDar11387038_Table * TPtr; 32 typedef TPtr *TabHandle; 33 struct RDar11387038_B { TabHandle x; }; 34 typedef struct RDar11387038_B RDar11387038_B; 35 radar11387038()36void radar11387038() { 37 RDar11387038_B *pRDar11387038_B; 38 struct RDar11387038* y = &(*pRDar11387038_B->x)->z[4]; 39 } 40