safecode/test/mem_safety/uninitialized_variable/uninitialized_variable-008.c

/* Uninitialized pointer passed and used in a parameter. */

int f(int *ptr)
{
  return *ptr << 7;
}

int main()
{
  int *ptr, y;
  y = f(ptr);
  return y;
}