/* { dg-do compile } */ | |
/* { dg-options "-O2 -Wformat-overflow" } */ | |
extern int sprintf (char *restrict, const char *restrict, ...) | |
__attribute__ ((__nothrow__)); | |
extern int foo (void); | |
int | |
Fgenerate_new_buffer_name (void) | |
{ | |
char number[2]; | |
int i = foo (); | |
if (i < 0) | |
__builtin_unreachable (); | |
if (i >= 2) | |
__builtin_unreachable (); | |
return sprintf (number, "%d", i); /* { dg-bogus "writing" } */ | |
} |