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 / cast.c < prev    next >
Text File  |  1997-09-03  |  1KB  |  24 lines
  1. typedef int abst1, abst2; /* 1, 2. declaration errors (mutable types */
  2. typedef char *FILE;
  3.  
  4. int main (void) {
  5.   abst1 a;    abst1 *ap;
  6.   abst2 b = 3;  /* 3. wrong type */
  7.   abst2 *bp = (abst2 *) malloc(sizeof(abst2)); /* 4. cast to underlying abstract */
  8.   FILE *f;
  9.   int  *ip = (int *)malloc(sizeof(int));
  10.  
  11.         *ip = 3;           /* 5. possible null deref */
  12.         *bp = 5;           /* 6, 7. possible null deref, assignment of int to abst2 */
  13. /* 13 */ a = (abst1)ip;    /* 8. cast to abstract */
  14. /* 14 */ ap = (abst1 *)ip; /* 9. cast to underlying abstract */
  15.          f = (FILE *)ip;   /* 10. cast to underlying abstract */
  16.          a = (abst1)a;     /* 11. redundant abstract cast */
  17. /* 17 */ ip = (int *)ap;   /* 12, 13. cast from underlying abstract, allocated ip not released */
  18.          ip = (int *)f;    /* 13. cast from underlying abstract */
  19. /* 19 */ ip = (int *)a;    /* 14. cast from underlying abstract */
  20. /* 20 */ a = (abst1)b;     /* 15, 16. cast from abst2, cast to abst1 */
  21. /* 21 */ ap = (abst1 *)bp; /* 17, 18. cast to abst1 * , cast from abst2 * */
  22.          return 0;         /* 19, 20. ip and bp not released */
  23. }
  24.