[splint.git] / test / metastate / osd.c

void check (int b);

int osd_fileIsReadable (char *f)
{
  FILE *fl = fopen (f, "r");

  if (fl != NULL)
    {
      fclose (fl);
      return (TRUE);
    }
  else
    {
      return (FALSE);
    }
}
Commit	Line	Data
80ee600a	1	void check (int b);
	2
	3	int osd_fileIsReadable (char *f)
	4	{
	5	FILE *fl = fopen (f, "r");
	6
	7	if (fl != NULL)
	8	{
	9	fclose (fl);
	10	return (TRUE);
	11	}
	12	else
	13	{
	14	return (FALSE);
	15	}
	16	}