| /* PR middle-end/88956 - ICE: Floating point exception on a memcpy from |
| an zero-length constant array |
| Verify both that memory and string calls with a zero-length array |
| don't cause an ICE, and also that they emit warnings. |
| { dg-do compile } |
| { dg-options "-O2 -Wall" } */ |
| |
| #define NOIPA __attribute__ ((noipa)) |
| |
| typedef __SIZE_TYPE__ size_t; |
| |
| extern void* memcpy (void*, const void*, size_t); |
| extern void* memmove (void*, const void*, size_t); |
| extern char* strcpy (char*, const char*); |
| extern char* strncpy (char*, const char*, size_t); |
| |
| const char s0[0] = { }; |
| const char s0_0[0][0] = { }; |
| const char s0_1[0][1] = { }; |
| const char s1_0[1][0] = { }; |
| |
| char d[4]; |
| |
| NOIPA void* test_memcpy_s0_1 (void *d) |
| { |
| return memcpy (d, s0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_s0_2 (void *d) |
| { |
| return memcpy (d, s0, 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_s0_0_1 (void *d) |
| { |
| return memcpy (d, s0_0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_s0_0_2 (void *d) |
| { |
| return memcpy (d, s0_0, 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| |
| NOIPA void* test_memcpy_s0_1_1 (void *d) |
| { |
| return memcpy (d, s0_1, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_s0_1_2 (void *d) |
| { |
| return memcpy (d, s0_1, 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| |
| NOIPA void* test_memcpy_s1_0_1 (void *d) |
| { |
| return memcpy (d, s1_0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_s1_0_2 (void *d) |
| { |
| return memcpy (d, s1_0, 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| |
| NOIPA void* test_memmove_s0_1 (void *d) |
| { |
| return memmove (d, s0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memmove_s0_2 (void *d) |
| { |
| return memmove (d, s0, 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memmove_s0_0_1 (void *d) |
| { |
| return memmove (d, s0_0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memmove_s0_0_2 (void *d) |
| { |
| return memmove (d, s0_0, 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| |
| struct Empty { }; |
| const struct Empty e = { }; |
| const struct Empty e0[0] = { }; |
| const struct Empty e0_0[0][0] = { }; |
| const struct Empty e0_1[0][1] = { }; |
| const struct Empty e1_0[1][0] = { }; |
| |
| NOIPA void* test_memcpy_e_1 (void *d) |
| { |
| return memcpy (d, &e, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_e0_1 (void *d) |
| { |
| return memcpy (d, e0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_e0_0_1 (void *d) |
| { |
| return memcpy (d, e0_0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_e0_1_1 (void *d) |
| { |
| return memcpy (d, e0_1, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA void* test_memcpy_e1_0_1 (void *d) |
| { |
| return memcpy (d, e1_0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| |
| NOIPA char* |
| test_strcpy_s0 (char *d) /* { dg-bogus "-Warray-bounds" "pr101679" { xfail *-*-* } } */ |
| { |
| return strcpy (d, s0); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA char* test_strcpy_s0_0 (char *d) |
| { |
| return strcpy (d, s0_0[0]); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| |
| NOIPA char* test_strncpy_s0_1 (char *d) |
| { |
| return strncpy (d, s0, 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA char* test_strncpy_s0_2 (char *d) |
| { |
| return strncpy (d, s0, 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA char* test_strncpy_s0_0_1 (char *d) |
| { |
| return strncpy (d, s0_0[0], 1); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |
| |
| NOIPA char* test_strncpy_s0_0_2 (char *d) |
| { |
| return strncpy (d, s0_0[0], 2); /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overread" } */ |
| } |