home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / abstptr.expect < prev    next >
Text File  |  2002-02-13  |  1KB  |  26 lines
  1.  
  2. abstptr.c: (in function main)
  3. abstptr.c:13:3: Assignment of abst * to void *: vp = ap
  4. abstptr.c:14:3: Assignment of abst * to int *: ip = ap2
  5. abstptr.c:15:3: Assignment of int * to abst *: ap = ip
  6. abstptr.c:16:17: Cast from underlying abstract type abst *: (void *)ap
  7. abstptr.c:17:8: Dereference of null pointer ap: *ap
  8.    abstptr.c:15:8: Storage ap becomes null
  9. abstptr.c:19:16: Cast from underlying abstract type abst *: (void *)&a
  10. abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b
  11. abstptr.c:21:3: Assignment of int * to abst *: ap = &b
  12. abstptr.c:22:3: Assignment of int to abst: *ap = b
  13.  
  14. Finished checking --- 9 code warnings, as expected
  15.  
  16. abstptr.c: (in function main)
  17. abstptr.c:14:3: Assignment of abst * to int *: ip = ap2
  18. abstptr.c:15:3: Assignment of int * to abst *: ap = ip
  19. abstptr.c:17:8: Dereference of null pointer ap: *ap
  20.    abstptr.c:15:8: Storage ap becomes null
  21. abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b
  22. abstptr.c:21:3: Assignment of int * to abst *: ap = &b
  23. abstptr.c:22:3: Assignment of int to abst: *ap = b
  24.  
  25. Finished checking --- 6 code warnings, as expected
  26.