home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / staticarray.c < prev    next >
C/C++ Source or Header  |  2000-06-12  |  324b  |  29 lines
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3.  
  4. char *foo1(void)
  5. {
  6.   static char buf[1000];
  7.   
  8.   strcpy(buf, "hello");
  9.   return buf;
  10. }
  11.  
  12. /*@observer@*/ char *foo2(void)
  13. {
  14.   static char buf[1000];
  15.   
  16.   strcpy(buf, "hello");
  17.   return buf;
  18. }
  19.  
  20. char *f (char outstr[])
  21. {
  22.   return outstr; 
  23. }
  24.  
  25. char *g (char *outstr)
  26. {
  27.   return outstr; 
  28. }
  29.