home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lclint.zip / lclint-2_3h-os2-bin.zip / test / globals.c < prev    next >
Text File  |  1997-09-03  |  715b  |  23 lines
  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. }
  23.