Viewing file:  builtin-sprintf-8.c (3.14 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR tree-optimization/77671 - missing -Wformat-overflow warning
on sprintf overflow with "%s"
Negative test verifying that sprintf family calls that must not
be transformed into calls to other functions (such as memcpy)
are preserved.
{ dg-compile }
{ dg-options "-O2 -Wformat -Wno-format-truncation -Wno-format-zero-length -fdump-tree-optimized" } */
void sink (char*, ...);
extern char buffer[];
/* String exactly 4100 characters long (plus the terminating NUL). */
extern const char s4100[4101];
void test_sprintf (const char *s)
{
/* Macros to test the function call while eignoring and using
the return value, respectively. */
#define IGN(...) __builtin_sprintf (buffer, __VA_ARGS__), sink (buffer)
#define USE(...) sink (buffer, __builtin_sprintf (buffer, __VA_ARGS__))
/* All of the following calls to sprintf must be emitted (and not
transformed into memcpy, strcpy, or similar). */
/* Verify that a sprintf call with output in excess of the maximum
of 4095 bytes is not transformed into memcpy/strcpy when its
return value is used (the call may fail with EOVERFLOW but
the error is only detectable when the function's negative return
value indicates errno is valid ). */
USE (s4100);
USE ("%s", s4100);
/* Same as above but with string of unknown length (which could
be in excess of 4K long). */
USE (s);
USE ("%s", s);
}
void test_snprintf (void)
{
#undef IGN
#define IGN(N, ...) __builtin_snprintf (buffer, N, __VA_ARGS__); sink (buffer)
/* All of the following calls to sprintf must be emitted (and not
transformed into memcpy, strcpy, or similar). */
/* Truncated output could be optimized into strncpy (not done yet). */
IGN (1, "123");
IGN (1, s4100);
IGN (1, "%s", "123");
IGN (1, "%s", s4100);
/* Output in excess of the maximum of 4095 bytes. */
IGN (4097, s4100);
IGN (4097, "%s", s4100);
}
void test_vsprintf (__builtin_va_list va)
{
#undef IGN
#define IGN(fmt) __builtin_vsprintf (buffer, fmt, va); sink (buffer)
/* All of the following calls to vsprintf must be emitted (and not
transformed into memcpy, strcpy, or similar). */
/* Output in excess of the maximum of 4095 bytes. */
IGN (s4100);
}
void test_vsnprintf (__builtin_va_list va)
{
#undef IGN
#define IGN(N, fmt) __builtin_vsnprintf (buffer, N, fmt, va); sink (buffer)
/* All of the following calls to vsnprintf must be emitted (and not
transformed into memcpy, strcpy, or similar). */
/* Truncated output could be optimized into strncpy (not done yet). */
IGN (1, "123");
IGN (1, s4100);
/* Output in excess of the maximum of 4095 bytes. */
IGN (4097, s4100);
}
/* { dg-final { scan-tree-dump-times "builtin_sprintf" 4 "optimized" } }
{ dg-final { scan-tree-dump-times "builtin_snprintf" 6 "optimized" } }
{ dg-final { scan-tree-dump-times "builtin_vsprintf" 1 "optimized" } }
{ dg-final { scan-tree-dump-times "builtin_vsnprintf" 3 "optimized" } } */
#define S10 "0123456789"
#define S100 S10 S10 S10 S10 S10 S10 S10 S10 S10 S10
#define S1000 S100 S100 S100 S100 S100 S100 S100 S100 S100 S100
const char s4100[4101] = S1000 S1000 S1000 S1000 S100;
|
