[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);
0bd4c301	10	return true;
80ee600a	11	}
	12	else
	13	{
0bd4c301	14	return false;
80ee600a	15	}
80ee600a	16	}