[splint.git] / test / fileio / filebranch.c

void f (char *fname)
{
  FILE *f;

  if (fname != NULL)
    {
      f = fopen (fname, "r");
      if (f != NULL) {
	(void) fclose (f);
      }
    }
}
Commit	Line	Data
68de3f33	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	}