gcc/testsuite/gcc.dg/analyzer/pr101547.c


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

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

void
k2_uninit (void)
{
  char *setfiles[1];
  int i; /* { dg-message "region created on stack here" } */

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

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

  setfiles[i] = fopen ("", "");
} /* { dg-warning "leak of FILE" } */