home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / ud2.lcl < prev    next >
Text File  |  2000-06-12  |  110b  |  3 lines
  1. void f1(out char **x) { modifies *x; }
  2. void f2(char **x) { modifies *x; }
  3. void f3(out int *y) { modifies *y; }