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

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

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

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