test/globals.c

   1 int imp;
   2 /*@checked@*/ int check;
   3 /*@unchecked@*/ int uncheck;
   4 /*@checkedstrict@*/ int checkstrict;
   5 /*@checked@*/ /*@checked@*/ int doubled; /* 1. Redundant checked qualifier on doubled */
   6 /*@checked@*/ /*@unchecked@*/ int contradict; /* 2. Contradictory checked and unchecked qualifiers on contradict */
   7
   8 void noglobs (void)
   9 {
  10   imp++;         /* if +globunspec +allglobals */
  11   check++;       /* if +globunspec */
  12   uncheck++;
  13   checkstrict++; /* 3. Unauthorized use of global checkstrict */
  14 }
  15
  16 void specglobs (void) /*@*/
  17 {
  18   imp++;   /* +  if +allglobals, +impcheckedglobals */
  19   check++; /* 4. Unauthorized use of global check */
  20   uncheck++;
  21   checkstrict++; /* 5. Unauthorized use of global checkstrict */
  22 }