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
|
typedef struct FILE FILE;
FILE *fopen (const char *pathname, const char *mode);
#include "../../gcc.dg/analyzer/analyzer-decls.h"
FILE *
test_passthrough (const char *pathname, const char *mode)
{
return fopen (pathname, mode);
}
FILE *
test_null_pathname (const char *pathname, const char *mode)
{
return fopen (NULL, mode);
}
FILE *
test_null_mode (const char *pathname)
{
return fopen (pathname, NULL);
}
FILE *
test_simple_r (void)
{
return fopen ("foo.txt", "r");
}
FILE *
test_swapped_args (void)
{
return fopen ("r", "foo.txt"); /* TODO: would be nice to detect this. */
}
FILE *
test_uninitialized_pathname (const char *mode)
{
char buf[10];
return fopen (buf, mode); /* { dg-warning "use of uninitialized value 'buf\\\[0\\\]'" } */
/* { dg-message "while looking for null terminator for argument 1 \\('&buf'\\) of 'fopen'..." "event" { target c } .-1 } */
/* { dg-message "while looking for null terminator for argument 1 \\('& buf'\\) of 'FILE\\* fopen\\(const char\\*, const char\\*\\)'..." "event" { target c++ } .-2 } */
}
FILE *
test_uninitialized_mode (const char *filename)
{
char buf[10];
return fopen (filename, buf); /* { dg-warning "use of uninitialized value 'buf\\\[0\\\]'" } */
/* { dg-message "while looking for null terminator for argument 2 \\('&buf'\\) of 'fopen'..." "event" { target c } .-1 } */
/* { dg-message "while looking for null terminator for argument 2 \\('& buf'\\) of 'FILE\\* fopen\\(const char\\*, const char\\*\\)'..." "event" { target c++ } .-2 } */
}
|
