gcc/testsuite/gcc.dg/Warray-bounds-39.c

   1 /* PR middle-end/88956 - ICE: Floating point exception on a memcpy from
   2    an zero-length constant array
   3    Verify both that memory and string calls with a zero-length array
   4    don't cause an ICE, and also that they emit warnings.
   5    { dg-do compile }
   6    { dg-options "-O2 -Wall" }  */
   7
   8 #define NOIPA __attribute__ ((noipa))
   9
  10 typedef __SIZE_TYPE__ size_t;
  11
  12 extern void* memcpy (void*, const void*, size_t);
  13 extern void* memmove (void*, const void*, size_t);
  14 extern char* strcpy (char*, const char*);
  15 extern char* strncpy (char*, const char*, size_t);
  16
  17 const char s0[0] = { };
  18 const char s0_0[0][0] = { };
  19 const char s0_1[0][1] = { };
  20 const char s1_0[1][0] = { };
  21
  22 char d[4];
  23
  24 NOIPA void* test_memcpy_s0_1 (void *d)
  25 {
  26   return memcpy (d, s0, 1);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  27 }
  28
  29 NOIPA void* test_memcpy_s0_2 (void *d)
  30 {
  31   return memcpy (d, s0, 2);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  32 }
  33
  34 NOIPA void* test_memcpy_s0_0_1 (void *d)
  35 {
  36   return memcpy (d, s0_0, 1);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  37 }
  38
  39 NOIPA void* test_memcpy_s0_0_2 (void *d)
  40 {
  41   return memcpy (d, s0_0, 2);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  42 }
  43
  44
  45 NOIPA void* test_memcpy_s0_1_1 (void *d)
  46 {
  47   return memcpy (d, s0_1, 1);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  48 }
  49
  50 NOIPA void* test_memcpy_s0_1_2 (void *d)
  51 {
  52   return memcpy (d, s0_1, 2);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  53 }
  54
  55
  56 NOIPA void* test_memcpy_s1_0_1 (void *d)
  57 {
  58   return memcpy (d, s1_0, 1);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  59 }
  60
  61 NOIPA void* test_memcpy_s1_0_2 (void *d)
  62 {
  63   return memcpy (d, s1_0, 2);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  64 }
  65
  66
  67 NOIPA void* test_memmove_s0_1 (void *d)
  68 {
  69   return memmove (d, s0, 1);      /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  70 }
  71
  72 NOIPA void* test_memmove_s0_2 (void *d)
  73 {
  74   return memmove (d, s0, 2);      /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  75 }
  76
  77 NOIPA void* test_memmove_s0_0_1 (void *d)
  78 {
  79   return memmove (d, s0_0, 1);    /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  80 }
  81
  82 NOIPA void* test_memmove_s0_0_2 (void *d)
  83 {
  84   return memmove (d, s0_0, 2);    /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  85 }
  86
  87
  88 struct Empty { };
  89 const struct Empty e = { };
  90 const struct Empty e0[0] = { };
  91 const struct Empty e0_0[0][0] = { };
  92 const struct Empty e0_1[0][1] = { };
  93 const struct Empty e1_0[1][0] = { };
  94
  95 NOIPA void* test_memcpy_e_1 (void *d)
  96 {
  97   return memcpy (d, &e, 1);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
  98 }
  99
 100 NOIPA void* test_memcpy_e0_1 (void *d)
 101 {
 102   return memcpy (d, e0, 1);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 103 }
 104
 105 NOIPA void* test_memcpy_e0_0_1 (void *d)
 106 {
 107   return memcpy (d, e0_0, 1);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 108 }
 109
 110 NOIPA void* test_memcpy_e0_1_1 (void *d)
 111 {
 112   return memcpy (d, e0_1, 1);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 113 }
 114
 115 NOIPA void* test_memcpy_e1_0_1 (void *d)
 116 {
 117   return memcpy (d, e1_0, 1);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 118 }
 119
 120
 121 NOIPA char*
 122 test_strcpy_s0 (char *d)          /* { dg-bogus "-Warray-bounds" "pr101679" { xfail *-*-* } } */
 123 {
 124   return strcpy (d, s0);          /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 125 }
 126
 127 NOIPA char* test_strcpy_s0_0 (char *d)
 128 {
 129   return strcpy (d, s0_0[0]);     /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 130 }
 131
 132
 133 NOIPA char* test_strncpy_s0_1 (char *d)
 134 {
 135   return strncpy (d, s0, 1);    /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 136 }
 137
 138 NOIPA char* test_strncpy_s0_2 (char *d)
 139 {
 140   return strncpy (d, s0, 2);    /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 141 }
 142
 143 NOIPA char* test_strncpy_s0_0_1 (char *d)
 144 {
 145   return strncpy (d, s0_0[0], 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 146 }
 147
 148 NOIPA char* test_strncpy_s0_0_2 (char *d)
 149 {
 150   return strncpy (d, s0_0[0], 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */
 151 }