]>
Commit | Line | Data |
---|---|---|
80ee600a | 1 | static void checkOpen (/*@open@*/ /*@null@*/ FILE *); |
2 | static void checkClosed (/*@closed@*/ /*@null@*/ FILE *); | |
3 | ||
4 | void passOpen (/*@open@*/ FILE *f) | |
5 | { | |
6 | (void) fputc (3, f); | |
7 | } /* okay, still open */ | |
8 | ||
9 | int main (void) | |
10 | { | |
11 | FILE *fle = NULL; | |
12 | char s[10]; | |
13 | ||
14 | checkClosed (fle); /* okay */ | |
15 | checkOpen (fle); /* error */ | |
16 | ||
17 | fle = fopen ("test", "r"); | |
18 | ||
19 | if (fle == NULL) | |
20 | { | |
21 | return 0; | |
22 | } | |
23 | ||
24 | passOpen (fle); | |
25 | (void) fclose (fle); | |
26 | ||
27 | return 0; | |
28 | } | |
29 |