gcc/testsuite/gcc.dg/analyzer/pr101875.c

char *
fopen (const char *restrict, const char *restrict);

void
err (void);

void
k2 (void)
{
  char *setfiles[1];
  int i;

  setfiles[i] = fopen("", ""); /* { dg-warning "use of uninitialized value 'i'" } */
  if (!setfiles[i]) /* { dg-warning "use of uninitialized value 'i'" } */
    err ();
} /* { dg-warning "leak of FILE" } */