gcc/testsuite/gcc.dg/analyzer/pr101143.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

/* { dg-additional-options "-Wno-builtin-declaration-mismatch" } */

extern void *malloc (unsigned int);
extern void *alloca (unsigned int);
extern void unknown_fn (void *);

void *
test_malloc (void)
{
  return malloc (sizeof (int));
}

void *
test_alloca (void)
{
  void *p = alloca (sizeof (int));
  unknown_fn (p);
}