Viewing file:  Wstringop-truncation-8.c (2.14 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* 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);
}
|
