clang/test/Sema/array-bounds-ptr-arith.c

   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
  13 void* ext2_statfs (struct ext2_super_block *es,int a) {
  14   return (void *)es->s_uuid + sizeof(int); // no-warning
  15 }
  16 void* 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 };
  24 void 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
  43 void 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
  48 void 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 }