Viewing file:  builtin-sprintf-warn-29.c (3.96 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR tree-optimization/104119 - unexpected -Wformat-overflow after strlen
in ILP32 since Ranger integration
{ dg-do compile }
{ dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
typedef __SIZE_TYPE__ size_t;
void* malloc (size_t);
int sprintf (char*, const char*, ...);
size_t strlen (const char*);
void sink (void*, ...);
struct __attribute__ ((packed)) S
{
char a3[3], a4[4], a5[5], a6[6], a7[7], a8[8], a9[9], ax[];
};
extern struct S s;
extern char a4[4], a7[7], a8[8];
void test_decl (void)
{
struct S *p = &s;
{
size_t n = strlen (p->a3);
sprintf (a4, "%s", p->a3); // { dg-bogus "-Wformat-overflow" }
sink (a4, n);
}
{
size_t n = strlen (p->a4);
sprintf (a4, "%s", p->a4); // { dg-bogus "-Wformat-overflow" }
sink (a4, n);
}
{
size_t n = strlen (p->a5);
sprintf (a4, "%s", p->a5); // { dg-warning "may write a terminating nul past the end" }
sink (a4, n);
}
{
size_t n = strlen (p->a7);
sprintf (a8, "%s", p->a7); // { dg-bogus "-Wformat-overflow" }
sink (a8, n);
}
{
size_t n = strlen (p->a8);
sprintf (a8, "%s", p->a8); // { dg-bogus "-Wformat-overflow" }
sink (a8, n);
}
{
size_t n = strlen (p->a9);
sprintf (a8, "%s", p->a9); // { dg-warning "may write a terminating nul past the end " }
sink (a8, n);
}
{
size_t n = strlen (p->ax);
sprintf (a7, "%s", p->ax); // { dg-bogus "-Wformat-overflow" "pr??????" { xfail ilp32 } }
sink (a7, n);
}
}
/* Verify the warning with a pointer to an allocated object with nonstant
size in known range. */
void test_alloc_5_8 (int n)
{
if (n < 5 || 8 < n)
n = 5;
struct S *p = (struct S*)malloc (sizeof *p + n);
sink (p); // initialize *p
{
size_t n = strlen (p->a3);
sprintf (a4, "%s", p->a3); // { dg-bogus "-Wformat-overflow" }
sink (a4, n);
}
{
size_t n = strlen (p->a4);
sprintf (a4, "%s", p->a4); // { dg-bogus "-Wformat-overflow" }
sink (a4, n);
}
{
size_t n = strlen (p->a5);
sprintf (a4, "%s", p->a5); // { dg-warning "may write a terminating nul past the end" }
sink (a4, n);
}
{
size_t n = strlen (p->a7);
sprintf (a8, "%s", p->a7); // { dg-bogus "-Wformat-overflow" }
sink (a8, n);
}
{
size_t n = strlen (p->a8);
sprintf (a8, "%s", p->a8); // { dg-bogus "-Wformat-overflow" }
sink (a8, n);
}
{
size_t n = strlen (p->a9);
sprintf (a8, "%s", p->a9); // { dg-warning "may write a terminating nul past the end " }
sink (a8, n);
}
{
/* The size of the flexible array member p->ax is between 5 and 8
bytes so the length of the string stored in it is at most 7.
Verify the warning triggers based on its size and also gets
the length right. */
size_t n = strlen (p->ax);
sprintf (a4, "%s", p->ax); // { dg-warning "writing up to 7 bytes " }
sink (a4, n);
}
{
size_t n = strlen (p->ax);
sprintf (a8, "%s", p->ax);
sink (a8, n);
}
}
void test_ptr (struct S *p)
{
{
size_t n = strlen (p->a3);
sprintf (a4, "%s", p->a3); // { dg-bogus "-Wformat-overflow" }
sink (a4, n);
}
{
size_t n = strlen (p->a4);
sprintf (a4, "%s", p->a4); // { dg-bogus "-Wformat-overflow" }
sink (a4, n);
}
{
size_t n = strlen (p->a5);
sprintf (a4, "%s", p->a5); // { dg-warning "may write a terminating nul past the end" }
sink (a4, n);
}
{
size_t n = strlen (p->a7);
sprintf (a8, "%s", p->a7); // { dg-bogus "-Wformat-overflow" }
sink (a8, n);
}
{
size_t n = strlen (p->a8);
sprintf (a8, "%s", p->a8); // { dg-bogus "-Wformat-overflow" }
sink (a8, n);
}
{
size_t n = strlen (p->a9);
sprintf (a8, "%s", p->a9); // { dg-warning "may write a terminating nul past the end " }
sink (a8, n);
}
{
size_t n = strlen (p->ax);
sprintf (a8, "%s", p->ax); // { dg-bogus "-Wformat-overflow" "pr??????" { xfail ilp32 } }
sink (a8, n);
}
}
|
