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 / glob.lcl < prev    next >
Text File  |  1997-09-03  |  168b  |  17 lines
  1. int x, y, z;
  2.  
  3. int useGlob (int a) int x, y, z; 
  4. {
  5.    ensures true;
  6. }
  7.  
  8. int dontuseGlob (int a)
  9. {
  10.    ensures true;
  11. }
  12.  
  13. int callsUseGlob (int a) int x;
  14. {
  15.   ensures true;
  16. }
  17.