1 // RUN: %clang_cc1 -verify=expected -Warray-bounds-pointer-arithmetic %s 2 // RUN: %clang_cc1 -verify=expected -Warray-bounds-pointer-arithmetic %s -fstrict-flex-arrays=0 3 // RUN: %clang_cc1 -verify=expected,strict -Warray-bounds-pointer-arithmetic %s -fstrict-flex-arrays=2 4 // RUN: %clang_cc1 -verify=expected,strict -Warray-bounds-pointer-arithmetic %s -fstrict-flex-arrays=3 5 6 // Test case from PR10615 7 struct ext2_super_block{ 8 unsigned char s_uuid[8]; // expected-note {{declared here}} 9 int ignored; // Prevents "s_uuid" from being treated as a flexible array 10 // member. 11 }; 12 ext2_statfs(struct ext2_super_block * es,int a)13void* ext2_statfs (struct ext2_super_block *es,int a) { 14 return (void *)es->s_uuid + sizeof(int); // no-warning 15 } broken(struct ext2_super_block * es,int a)16void* broken (struct ext2_super_block *es,int a) { 17 return (void *)es->s_uuid + 9; // expected-warning {{the pointer incremented by 9 refers past the end of the array (that has type 'unsigned char[8]')}} 18 } 19 20 // Test case reduced from PR11594 21 struct S { 22 int n; 23 }; pr11594(struct S * s)24void pr11594(struct S *s) { 25 int a[10]; 26 int *p = a - s->n; 27 } 28 29 // This resulted in an assertion failure because of the typedef instead of an 30 // explicit constant array type. 31 struct RDar11387038 {}; 32 typedef struct RDar11387038 RDar11387038Array[1]; 33 struct RDar11387038_Table { 34 RDar11387038Array z; // strict-note {{array 'z' declared here}} 35 }; 36 typedef struct RDar11387038_Table *TPtr; 37 typedef TPtr *TabHandle; 38 struct RDar11387038_B { 39 TabHandle x; 40 }; 41 typedef struct RDar11387038_B RDar11387038_B; 42 radar11387038(void)43void radar11387038(void) { 44 RDar11387038_B *pRDar11387038_B; 45 struct RDar11387038 *y = &(*pRDar11387038_B->x)->z[4]; // strict-warning {{array index 4 is past the end of the array (that has type 'struct RDar11387038[1]')}} 46 } 47 pr51682(void)48void pr51682(void) { 49 int arr[1]; 50 switch (0) { 51 case 0: 52 break; 53 case 1: 54 asm goto("" ::"r"(arr[42] >> 1)::failed); 55 break; 56 } 57 failed:; 58 } 59