blob: 4bef2f161a48d19764b93337a659d6adb04d074e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
char *
fopen (const char *restrict, const char *restrict);
void
err (void);
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'" } */
if (!setfiles[i])
err ();
}
void
k2_leak (int i)
{
char *setfiles[1];
setfiles[i] = fopen("", "");
if (!setfiles[i])
err ();
} /* { dg-warning "leak of FILE" } */
|
