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

static void checkOpen (/*@open@*/ /*@null@*/ FILE *);

int main (void)
{
  FILE *fle1 = fopen ("test1", "r");

  if (fle1 == NULL)
    {
      FILE *fle2 = fopen ("test2", "r");
      checkOpen (fle2);
    } /* fle2 not closed */
  
  return 0; /* fle1 not closed */
}
Commit	Line	Data
80ee600a	1	static void checkOpen (/@open@/ /@null@/ FILE *);
	2
	3	int main (void)
	4	{
	5	FILE *fle1 = fopen ("test1", "r");
	6
	7	if (fle1 == NULL)
	8	{
	9	FILE *fle2 = fopen ("test2", "r");
	10	checkOpen (fle2);
	11	} /* fle2 not closed */
	12
	13	return 0; /* fle1 not closed */
	14	}
	15