home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lclint.zip / lclint-2_3h-os2-bin.zip / test / typequals.c < prev    next >
Text File  |  1997-09-03  |  259b  |  11 lines
  1. # include "tq.h"
  2.  
  3. void f (tam xtam, tai xtai, tm xtm, ti xti)
  4.    /*@modifies xtam, xtai, xtm, xti@*/
  5. {
  6.   *xtam = 3; /* 4. Operand of * is abstract type (tam): *xtam */
  7.   *xtai = 4; /* 5. Operand of * is abstract type (tai): *xtai */
  8.   *xtm = 5;
  9.   *xti = 8;
  10. }
  11.