]>
Commit | Line | Data |
---|---|---|
80ee600a | 1 | typedef struct |
2 | { | |
3 | /*@only@*/ /*@open@*/ FILE *file; | |
4 | } *source; | |
80ee600a | 5 | |
6 | void source_badClose (source s) | |
7 | { | |
8 | // free (s->file); | |
9 | (void) fclose (s->file); | |
b072092f | 10 | } /* error - scope exits with file closed */ |