test/metastate/file3.c

   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