gcc/testsuite/gcc.dg/analyzer/uninit-pr94713.c

void f1 (int *);
void f2 (int);

int foo (void)
{
  int *p; /* { dg-message "region created on stack here" } */

  f1 (p); /* { dg-warning "use of uninitialized value 'p'" } */
  f2 (p[0]); /* { dg-warning "use of uninitialized value 'p'" } */
  return 0;
}