Viewing file: builtin-sprintf-warn-21.c (2.62 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
/* PR tree-optimization/83431 -Wformat-truncation may incorrectly report truncation { dg-do compile } { dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
typedef __SIZE_TYPE__ size_t;
extern int snprintf (char*, size_t, const char*, ...); extern char* strcpy (char*, const char*);
struct S { char a9[9]; char a5[5]; int x; };
void test_assign_nowarn (struct S* s) { int i = 0;
{ char a9[9] = "1234"; snprintf (s[i].a5, sizeof (s[i].a5), "%s", a9); /* { dg-bogus "\\\[-Wformat-truncation]" } */ }
{ ++i; char a8[8] = "123"; snprintf (s[i].a5, sizeof (s[i].a5), "%s\n", a8); /* { dg-bogus "\\\[-Wformat-truncation]" } */ }
{ ++i; char a7[7] = "12"; snprintf (s[i].a5, sizeof (s[i].a5), "[%s]", a7); /* { dg-bogus "\\\[-Wformat-truncation]" } */ }
{ ++i; char a6[6] = "1"; snprintf (s[i].a5, sizeof (s[i].a5), "[%s]\n", a6); /* { dg-bogus "\\\[-Wformat-truncation]" } */ } }
void test_strcpy_nowarn (struct S* s) { int i = 0;
strcpy (s[i].a9, "1234"); snprintf (s[i].a5, sizeof (s[i].a5), "%s", s[i].a9);
++i; strcpy (s[i].a9, "123"); snprintf (s[i].a5, sizeof (s[i].a5), "%s\n", s[i].a9); /* { dg-bogus "\\\[-Wformat-truncation]" } */
++i; strcpy (s[i].a9, "12"); snprintf (s[i].a5, sizeof (s[i].a5), "[%s]", s[i].a9); /* { dg-bogus "\\\[-Wformat-truncation]" } */
++i; strcpy (s[i].a9, "1"); snprintf (s[i].a5, sizeof (s[i].a5), "[%s]\n", s[i].a9); /* { dg-bogus "\\\[-Wformat-truncation]" } */ }
void test_warn (struct S* s) { int i = 0; strcpy (s[i].a9, "12345678"); snprintf (s[i].a5, sizeof (s[i].a5), "%s", s[i].a9); /* { dg-warning "'%s' directive output truncated writing 8 bytes into a region of size 5" } */
++i; strcpy (s[i].a9, "1234567"); snprintf (s[i].a5, sizeof (s[i].a5), "%s", s[i].a9); /* { dg-warning "'%s' directive output truncated writing 7 bytes into a region of size 5" } */
++i; strcpy (s[i].a9, "123456"); snprintf (s[i].a5, sizeof (s[i].a5), "%s", s[i].a9); /* { dg-warning "'%s' directive output truncated writing 6 bytes into a region of size 5" } */
++i; strcpy (s[i].a9, "12345"); snprintf (s[i].a5, sizeof (s[i].a5), "%s", s[i].a9); /* { dg-warning "'snprintf' output truncated before the last format character" } */
++i; strcpy (s[i].a9, "1234"); snprintf (s[i].a5, sizeof (s[i].a5), "%s\n", s[i].a9); /* { dg-warning "output truncated before the last format character" } */
++i; strcpy (s[i].a9, "123"); snprintf (s[i].a5, sizeof (s[i].a5), ">%s<", s[i].a9); /* { dg-warning "output truncated before the last format character" } */ }
|