| /* PR tree-optimization/89644 - False-positive -Warray-bounds diagnostic |
| on strncpy |
| { dg-do compile } |
| { dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */ |
| |
| #define NONSTR __attribute__ ((nonstring)) |
| |
| typedef __SIZE_TYPE__ size_t; |
| |
| size_t strlen (const char*); |
| extern char* stpncpy (char*, const char*, size_t); |
| extern char* strncpy (char*, const char*, size_t); |
| |
| void sink (char*, ...); |
| |
| char f0 (char *s) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| if (*s) |
| strncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| return a[0]; |
| } |
| |
| void f1 (char *s) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| if (*s) |
| strncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| sink (a); |
| } |
| |
| char f2 (void) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 }; |
| strncpy (a, b + 1, 5); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| return a[0]; |
| } |
| |
| void f3 (void) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 }; |
| strncpy (a, b + 2, 4); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| sink (a); |
| } |
| |
| void f4 (NONSTR char *d) |
| { |
| char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 }; |
| strncpy (d, b + 3, 3); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| sink (d); |
| } |
| |
| |
| char g0 (char *s) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| if (*s) |
| stpncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| return a[0]; |
| } |
| |
| void g1 (char *s) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| char *p = 0; |
| if (*s) |
| p = stpncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| sink (a, p); |
| } |
| |
| char g2 (void) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 }; |
| stpncpy (a, b + 1, 5); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| return a[0]; |
| } |
| |
| void g3 (void) |
| { |
| char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 }; |
| char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 }; |
| char *p = stpncpy (a, b + 2, 4); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| sink (a, p); |
| } |
| |
| void g4 (NONSTR char *d) |
| { |
| char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 }; |
| char *p = stpncpy (d, b + 3, 3); /* { dg-bogus "\\\[-Warray-bounds" } */ |
| sink (d, p); |
| } |