test/metastate/test.c

   1 static void checkOpen (/*@open@*/ /*@null@*/ FILE *);
   2 static void checkClosed (/*@closed@*/ /*@null@*/ FILE *);
   3
   4 int main (void)
   5 {
   6   FILE *fle = NULL;
   7
   8   fle = fopen ("test", "r");
   9   checkOpen (fle); /* okay */
  10   checkClosed (fle); /* error */
  11
  12   return 0; /* error: f is not closed */
  13 }
  14