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

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

  f = fopen (fname, "w");

  if (f == NULL)
    {
      ;
    }
  else
    {
      fprintf (f, "okay\n");
      (void) fclose (f);
    }
}

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

  f = fopen (fname, "w");

  if (f != NULL)
    {
      ;
    }
  else
    {
      (void) fclose (f); /* Possibly null */
    } 
} /* Lost open reference */


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

  f = fopen (fname, "w");

  if (f != NULL)
    {
      fprintf (f, "okay\n");
      (void) fclose (f);
    }
  else
    {

    }
}
Commit	Line	Data
80ee600a	1	void ftest (char *fname)
	2	{
	3	FILE *f;
	4
	5	f = fopen (fname, "w");
	6
	7	if (f == NULL)
	8	{
	9	;
	10	}
	11	else
	12	{
	13	fprintf (f, "okay\n");
	14	(void) fclose (f);
	15	}
	16	}
	17
	18	void ftest2 (char *fname)
	19	{
	20	FILE *f;
	21
	22	f = fopen (fname, "w");
	23
	24	if (f != NULL)
	25	{
	26	;
	27	}
	28	else
	29	{
	30	(void) fclose (f); /* Possibly null */
	31	}
	32	} /* Lost open reference */
	33
	34
	35	void ftest3 (char *fname)
	36	{
	37	FILE *f;
	38
	39	f = fopen (fname, "w");
	40
	41	if (f != NULL)
	42	{
	43	fprintf (f, "okay\n");
	44	(void) fclose (f);
	45	}
	46	else
	47	{
	48
	49	}
	50	}