home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / specclauses.expect < prev    next >
Text File  |  2002-02-13  |  4KB  |  86 lines
  1.  
  2. specclauses.c: (in function f)
  3. specclauses.c:24:28: Only storage r.name (type char *) derived from variable
  4.                         declared in this scope is not released (memory leak)
  5. specclauses.c:28:24: Undefined storage r.name corresponds to storage listed in
  6.                         uses clause of called function: r
  7. specclauses.c:28:28: Only storage name not released before return
  8.    specclauses.c:17:49: Storage name becomes only
  9. specclauses.c:33:16: Allocated storage r.name corresponds to storage listed in
  10.                         defines clause of called function: &r
  11. specclauses.c:34:17: Only storage r.name (type char *) derived from variable
  12.                         declared in this scope is not released (memory leak)
  13. specclauses.c:40:23: Field r.name used after being released
  14.    specclauses.c:39:17: Storage r.name released
  15.  
  16. Finished checking --- 6 code warnings, as expected
  17.  
  18. specclauses2.c:10:13: Allocates clauses includes r->year of non-dynamically
  19.                          allocated type int
  20. specclauses2.c: (in function allocYear)
  21. specclauses2.c:14:2: Unallocated storage r->year corresponds to storage listed
  22.                         in allocates clause
  23. specclauses2.c: (in function setName1)
  24. specclauses2.c:26:2: Undefined storage r->name corresponds to storage listed in
  25.                         defines clause
  26. specclauses2.c: (in function setName3)
  27. specclauses2.c:37:2: Undefined storage r->name corresponds to storage listed in
  28.                         sets clause
  29.    This sub-reference is undefined: *(r->name)
  30. specclauses2.c: (in function setName4)
  31. specclauses2.c:42:3: Implicitly only storage r->name (type char *) not released
  32.                         before assignment: r->name = name
  33. specclauses2.c: (in function allocName2)
  34. specclauses2.c:54:2: Unallocated storage r->name corresponds to storage listed
  35.                         in allocates clause
  36. specclauses2.c: (in function freeName2)
  37. specclauses2.c:65:2: Unreleased storage r.name corresponds to storage listed in
  38.                         releases clause
  39. specclauses2.c: (in function freeName4)
  40. specclauses2.c:76:2: Unreleased storage r->name corresponds to storage listed
  41.                         in releases clause
  42.  
  43. Finished checking --- 8 code warnings, as expected
  44.  
  45. specclauses3.c:7:6: Special clause accesses field of non-struct or union result
  46.                        (int): *(result).name
  47. specclauses3.c: (in function badResult)
  48. specclauses3.c:12:10: Undefined storage <const ?>->name corresponds to storage
  49.                          result->name listed in defines clause: NULL
  50. specclauses3.c:12:10: Null storage returned as non-null: NULL
  51. specclauses3.c: (in function createName2)
  52. specclauses3.c:29:10: Undefined storage res->name corresponds to storage
  53.                          result->name listed in defines clause: res
  54. specclauses3.c:29:10: Possibly null storage res returned as non-null: res
  55.    specclauses3.c:28:16: Storage res may become null
  56. specclauses3.c: (in function createName4)
  57. specclauses3.c:55:10: Unallocated storage res->name corresponds to storage
  58.                          result->name listed in allocates clause: res
  59.  
  60. Finished checking --- 6 code warnings, as expected
  61.  
  62. specclauses4.c: (in function usename)
  63. specclauses4.c:13:4: Dereference of null pointer *name: **name
  64.    specclauses4.c:11:8: Storage *name becomes null
  65. specclauses4.c: (in function callname)
  66. specclauses4.c:27:12: Non-null storage *s corresponds to storage listed in
  67.                          requires isnull clause of called function: s
  68. specclauses4.c: (in function nullname2)
  69. specclauses4.c:42:2: Non-null storage *name corresponds to storage listed in
  70.                         ensures isnull clause
  71.  
  72. Finished checking --- 3 code warnings, as expected
  73.  
  74. specclauses5.c: (in function createrecord2)
  75. specclauses5.c:31:10: Null storage r->name derivable from return value: r
  76.    specclauses5.c:30:14: Storage r->name becomes null
  77. specclauses5.c: (in function newrecord2)
  78. specclauses5.c:43:10: Non-observer storage r->name corresponds to storage
  79.                          result->name listed in ensures observer clause: r
  80. specclauses5.c: (in function createrecordx)
  81. specclauses5.c:49:10: Observer storage r->name reachable from unqualified
  82.                          return value
  83.    specclauses5.c:48:27: Storage r->name becomes observer
  84.  
  85. Finished checking --- 3 code warnings, as expected
  86.