Viewing file:  uninit-41.c (2.23 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Verify that calls to non-modifying built-ins aren't considered
potentially modifying.
{ dg-do compile }
{ dg-options "-O2 -Wall" }
{ dg-require-effective-target alloca } */
typedef __SIZE_TYPE__ size_t;
void* alloca (size_t);
void* calloc (size_t, size_t);
void* malloc (size_t);
int printf (const char *, ...);
int scanf (const char *, ...);
int sprintf (char *, const char *, ...);
int snprintf (char *, size_t, const char *, ...);
int puts (const char *);
char* strcpy (char*, const char*);
size_t strlen (const char*);
void noproto ();
void sink (int, ...);
extern char a[];
void nowarn_noproto (const char *fmt)
{
int i;
noproto (&i);
sink (i);
}
void nowarn_scanf (const char *fmt)
{
int i;
scanf ("%i", &i);
sink (i);
}
void test_puts_sprintf_alloca (const char *fmt)
{
char *p;
{
p = alloca (8);
sprintf (a, fmt, p); // fmt might contain %n
puts (p);
}
{
p = alloca (8);
snprintf (0, 0, fmt, p); // same as above
puts (p);
}
}
void test_puts_alloca (const char *s)
{
char *p = alloca (8);
{
char a[] = "foo";
puts (a);
}
puts (p); // { dg-warning "-Wuninitialized" }
{
p = alloca (strlen (s) + 1);
strcpy (p, s);
puts (p);
}
{
/* Verify that the puts() calls above isn't considered to have
potentially modified *P, and same for the one below. */
p = alloca (strlen (s));
puts (p); // { dg-warning "-Wuninitialized" }
puts (p + 1); // { dg-warning "-Wuninitialized" }
}
}
void test_puts_malloc (const char *s, const char *t)
{
char *p;
{
p = malloc (strlen (s) + 1);
strcpy (p, s);
puts (p);
}
{
p = malloc (strlen (t));
puts (p); // { dg-warning "-Wuninitialized" }
}
}
void test_puts_vla (const char *s, const char *t)
{
{
char a[strlen (s) + 1];
strcpy (a, s);
puts (a);
}
{
char b[strlen (t)];
puts (b); // { dg-warning "-Wuninitialized" }
}
}
void test_printf_puts (const char *s)
{
char *p = __builtin_malloc (1);
printf ("%s", s);
puts (p); // { dg-warning "-Wuninitialized" }
}
|
