home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / sharing4.c < prev    next >
C/C++ Source or Header  |  2000-06-12  |  2KB  |  48 lines
  1. /*@only@*/   char *globonly1;
  2. /*@only@*/   char *globonly2;
  3. /*@only@*/   char *globonly3;
  4. /*@only@*/   char *globonly4;
  5. /*@only@*/   char *globonly5;
  6. /*@shared@*/ char *globshared1;
  7. /*@shared@*/ char *globshared2;
  8.  
  9. extern void free (/*@out@*/ /*@only@*/ void *s);
  10. extern /*@only@*/ char *string_copy (char *s) /*@modifies nothing;@*/ ;
  11.  
  12. int f(/*@only@*/ char *only1, /*@only@*/ char *only2, /*@only@*/ char *only3, 
  13.       char *temp1, /*@temp@*/ char *temp2, 
  14.       /*@shared@*/ char *shared1, /*@shared@*/ char *shared2)
  15. {
  16.   char *local1;
  17.  
  18.   globonly1 = only1;   /* 1. Only storage globonly1 not released before assignment */
  19.   free (globonly2);  
  20.   globonly2 = only2; 
  21.   free (globonly3);     /* okay...for now */
  22.  
  23.   globonly4 = shared1; /* 2. Only storage globonly4 not released before assignment
  24.               3. Shared storage assigned to only */
  25.   globshared1 = shared2;         
  26.   globshared1 = globshared2;
  27.   globshared1 = globonly5; /* 4. Only storage assigned to shared */
  28.  
  29.   local1 = globonly1;   
  30.   globshared1 = local1; /* 5. Only storage globonly1 assigned to shared (local1 aliases */
  31.                         /* 6. Kept storage only1 assigned to shared (local1 aliases */
  32.   globshared1 = string_copy (local1); /* 7. Only storage assigned to shared */
  33.   
  34.   globshared2 = temp2; /* 8. Temp storage temp2 assigned to shared */
  35.   globonly4 = temp1;   /* 9. Only storage globonly4 not released before assignment
  36.              10. Temp storage temp1 assigned to only: globonly4 = temp1 */
  37.  
  38.   free (shared1); /* 11. Shared storage shared1 passed as only param */
  39.   *only3 = 'a';
  40.   *shared2 = 'c';
  41.  
  42.   return 3; /* 12. Only storage only3 not released before return */
  43.         /* 13. Function returns with global globonly3 referencing released */
  44. }
  45.  
  46.  
  47.  
  48.