home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / globals2.c < prev    next >
C/C++ Source or Header  |  2001-07-03  |  149b  |  12 lines
  1. extern int glob1;
  2.  
  3. int f (void) /*@globals glob1@*/
  4. {
  5.   return glob1;
  6. }
  7.         
  8. int g (void) /*@globals glob2@*/ /*@globals glob1@*/
  9. {
  10.   return f();
  11. }
  12.