| // RUN: %clang_cc1 -verify=expected -Warray-bounds-pointer-arithmetic %s |
| // RUN: %clang_cc1 -verify=expected -Warray-bounds-pointer-arithmetic %s -fstrict-flex-arrays=0 |
| // RUN: %clang_cc1 -verify=expected,strict -Warray-bounds-pointer-arithmetic %s -fstrict-flex-arrays=2 |
| // RUN: %clang_cc1 -verify=expected,strict -Warray-bounds-pointer-arithmetic %s -fstrict-flex-arrays=3 |
| |
| // Test case from PR10615 |
| struct ext2_super_block{ |
| unsigned char s_uuid[8]; // expected-note {{declared here}} |
| int ignored; // Prevents "s_uuid" from being treated as a flexible array |
| // member. |
| }; |
| |
| void* ext2_statfs (struct ext2_super_block *es,int a) { |
| return (void *)es->s_uuid + sizeof(int); // no-warning |
| } |
| void* broken (struct ext2_super_block *es,int a) { |
| 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]')}} |
| } |
| |
| // Test case reduced from PR11594 |
| struct S { |
| int n; |
| }; |
| void pr11594(struct S *s) { |
| int a[10]; |
| int *p = a - s->n; |
| } |
| |
| // This resulted in an assertion failure because of the typedef instead of an |
| // explicit constant array type. |
| struct RDar11387038 {}; |
| typedef struct RDar11387038 RDar11387038Array[1]; |
| struct RDar11387038_Table { |
| RDar11387038Array z; // strict-note {{array 'z' declared here}} |
| }; |
| typedef struct RDar11387038_Table *TPtr; |
| typedef TPtr *TabHandle; |
| struct RDar11387038_B { |
| TabHandle x; |
| }; |
| typedef struct RDar11387038_B RDar11387038_B; |
| |
| void radar11387038(void) { |
| RDar11387038_B *pRDar11387038_B; |
| 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]')}} |
| } |
| |
| void pr51682(void) { |
| int arr[1]; |
| switch (0) { |
| case 0: |
| break; |
| case 1: |
| asm goto("" ::"r"(arr[42] >> 1)::failed); |
| break; |
| } |
| failed:; |
| } |