home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / strings.c < prev    next >
Text File  |  2000-06-12  |  267b  |  27 lines
  1. /*
  2. ** checks read-only strings
  3. */
  4.  
  5. char f1 (char *x)
  6. {
  7.   return *x;
  8. }
  9.  
  10. char f2 (char *x) /*@modifies *x;@*/
  11. {
  12.   *x = 'a';
  13.   return *x;
  14. }
  15.  
  16. void f3 (/*@only@*/ char *x)
  17. {
  18.   free (x);
  19. }
  20.  
  21. void main (void)
  22. {
  23.   (void) f1 ("hullo");
  24.   (void) f2 ("hullo");
  25.   f3 ("hullo");
  26. }
  27.