]> andersk Git - splint.git/blob - test/fileio/filebranch.c
Fixed problem with comman line redefinitions (no filename).
[splint.git] / test / fileio / filebranch.c
1 void f (char *fname)
2 {
3   FILE *f;
4
5   if (fname != NULL)
6     {
7       f = fopen (fname, "r");
8       if (f != NULL) {
9         (void) fclose (f);
10       }
11     }
12 }
This page took 0.049292 seconds and 5 git commands to generate.