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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
/* Verify that we check for uninitialized values passed to functions
that we have special-cased state-machine handling for. */
typedef struct FILE FILE;
FILE* fopen (const char*, const char*);
int fclose (FILE*);
int fseek (FILE *, long, int);
FILE *
test_fopen_uninit_path (void)
{
const char *path;
FILE *f = fopen (path, "r"); /* { dg-warning "use of uninitialized value 'path'" } */
return f;
}
FILE *
test_fopen_uninit_mode (const char *path)
{
const char *mode;
FILE *f = fopen (path, mode); /* { dg-warning "use of uninitialized value 'mode'" } */
return f;
}
void
test_fclose_uninit (void)
{
FILE *f;
fclose (f); /* { dg-warning "use of uninitialized value 'f'" } */
}
int
test_fseek_uninit_stream (void)
{
FILE *stream;
return fseek (stream, 0, 0); /* { dg-warning "use of uninitialized value 'stream'" } */
}
int
test_fseek_uninit_offset (FILE *stream, int whence)
{
long offset;
return fseek (stream, offset, whence); /* { dg-warning "use of uninitialized value 'offset'" } */
}
int
test_fseek_uninit_whence (FILE *stream, long offset)
{
int whence;
return fseek (stream, offset, whence); /* { dg-warning "use of uninitialized value 'whence'" } */
}
|
