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 */
10 imp++; /* if +globunspec +allglobals */
11 check++; /* if +globunspec */
13 checkstrict++; /* 3. Unauthorized use of global checkstrict */
16 void specglobs (void) /*@*/
18 imp++; /* + if +allglobals, +impcheckedglobals */
19 check++; /* 4. Unauthorized use of global check */
21 checkstrict++; /* 5. Unauthorized use of global checkstrict */