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 / db2.expect < prev    next >
Text File  |  1997-09-03  |  8KB  |  173 lines
  1.  
  2. < reading spec employee.lcl >
  3. < reading spec eref.lcl >
  4. < reading spec empset.lcl >
  5. < reading spec ereftab.lcl >
  6. < reading spec erc.lcl >
  7. < reading spec dbase.lcl >
  8. < preprocessing >
  9. < checking employee.c >
  10. employee.c: (in function employee_setName)
  11. employee.c:14: Parameter 1 (e->name) to function strcpy is declared unique but
  12.                   may be aliased externally by parameter 2 (na)
  13. < checking eref.c >
  14. eref.c: (in function eref_alloc)
  15. eref.c:19: Unqualified storage passed as only param:
  16.               realloc (eref_Pool.conts, ...)
  17. eref.c:29: Unqualified storage passed as only param:
  18.               realloc (eref_Pool.status, ...)
  19. eref.c:45: Storage eref_Pool.status reachable from global is only (should be
  20.               unqualified)
  21.    eref.c:30: Storage eref_Pool.status becomes only
  22. eref.c:45: Storage eref_Pool.conts reachable from global is only (should be
  23.               unqualified)
  24.    eref.c:20: Storage eref_Pool.conts becomes only
  25. eref.c: (in function eref_initMod)
  26. eref.c:84: Storage eref_Pool.conts reachable from global is fresh (should be
  27.               unqualified)
  28.    eref.c:62: Fresh storage eref_Pool.conts allocated
  29. eref.c:84: Global storage *(eref_Pool.conts) contains 4 undefined fields when
  30.               call returns: ssNum, salary, gen, j
  31. eref.c:84: Storage eref_Pool.status reachable from global is fresh (should be
  32.               unqualified)
  33.    eref.c:70: Fresh storage eref_Pool.status allocated
  34. eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  35.               returns: status
  36. < checking empset.c >
  37. < checking ereftab.c >
  38. < checking erc.c >
  39. erc.c: (in function erc_create)
  40. erc.c:33: Null storage c->vals derivable from return value: c
  41.    erc.c:31: Storage c->vals becomes null
  42. erc.c:33: Fresh storage returned as unqualified (should be only): c
  43.    erc.c:23: Fresh storage c allocated
  44. erc.c: (in function erc_clear)
  45. erc.c:49: Function returns with null storage derivable from parameter c->vals
  46.    erc.c:47: Storage c->vals becomes null
  47. erc.c: (in function erc_final)
  48. erc.c:54: Implicitly temp storage c passed as only param: free (c)
  49. erc.c: (in function erc_delete)
  50. erc.c:102: Released storage c->vals reachable from parameter at return point
  51.    erc.c:100: Storage c->vals is released
  52. erc.c: (in function erc_sprint)
  53. erc.c:141: Fresh storage returned as unqualified (should be only): result
  54.    erc.c:122: Fresh storage result allocated
  55. < checking dbase.c >
  56. < checking drive.c >
  57. < checking macros bool.h >
  58. < global checks >
  59. < cleaning ........... >
  60.  
  61. Finished LCLint checking --- 15 code errors found, as expected
  62.  
  63. < reading spec employee.lcl >
  64. < reading spec eref.lcl >
  65. < reading spec empset.lcl >
  66. < reading spec ereftab.lcl >
  67. < reading spec erc.lcl >
  68. < reading spec dbase.lcl >
  69. < preprocessing >
  70. < checking employee.c >
  71. employee.c: (in function employee_setName)
  72. employee.c:14: Parameter 1 (e->name) to function strcpy is declared unique but
  73.                   may be aliased externally by parameter 2 (na)
  74. < checking eref.c >
  75. eref.c: (in function eref_initMod)
  76. eref.c:62: Implicitly only storage eref_Pool.conts not released before
  77.     assignment: eref_Pool.conts = (employee *)malloc(size * sizeof(employee))
  78. eref.c:70: Implicitly only storage eref_Pool.status not released before
  79.     assignment: eref_Pool.status = (eref_status *)malloc(size *
  80.     sizeof(eref_status))
  81. eref.c:84: Global storage *(eref_Pool.conts) contains 4 undefined fields when
  82.               call returns: ssNum, salary, gen, j
  83. eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  84.               returns: status
  85. < checking empset.c >
  86. empset.c: (in function empset_insertUnique)
  87. empset.c:44: Clauses exit with er referencing fresh storage in true branch,
  88.                 local storage in continuation
  89.    empset.c:41: Fresh storage er allocated
  90. empset.c: (in function empset_intersect)
  91. empset.c:126: Fresh storage toDelete not released before return
  92.    empset.c:112: Fresh storage toDelete allocated
  93. < checking ereftab.c >
  94. < checking erc.c >
  95. erc.c: (in function erc_create)
  96. erc.c:33: Null storage c->vals derivable from return value: c
  97.    erc.c:31: Storage c->vals becomes null
  98. erc.c: (in function erc_clear)
  99. erc.c:49: Function returns with null storage derivable from parameter c->vals
  100.    erc.c:47: Storage c->vals becomes null
  101. erc.c: (in function erc_final)
  102. erc.c:54: Implicitly temp storage c passed as only param: free (c)
  103. erc.c: (in function erc_delete)
  104. erc.c:98: Implicitly only storage prev->next not released before assignment:
  105.              prev->next = elem->next
  106. erc.c:98: Clauses exit with elem referencing implicitly only storage in true
  107.              branch, local storage in false branch
  108.    erc.c:96: Storage elem becomes implicitly only
  109. erc.c:98: Storage c->vals->next is kept in one path, but live in another.
  110.    erc.c:98: Storage c->vals->next becomes kept
  111. erc.c:102: Released storage c->vals reachable from parameter at return point
  112.    erc.c:100: Storage c->vals is released
  113. < checking dbase.c >
  114. dbase.c: (in function uncheckedHire)
  115. dbase.c:121: Fresh storage er not released before return
  116.    dbase.c:108: Fresh storage er allocated
  117. < checking drive.c >
  118. drive.c: (in function main)
  119. drive.c:49: Variable m_res name is not a macro variable (it is a local
  120.                variable), but matches the macro variable namespace prefix "m_"
  121. drive.c:65: Variable m_res name is not a macro variable (it is a local
  122.                variable), but matches the macro variable namespace prefix "m_"
  123. drive.c:83: Variable m_res name is not a macro variable (it is a local
  124.                variable), but matches the macro variable namespace prefix "m_"
  125. drive.c:120: Variable m_res name is not a macro variable (it is a local
  126.                 variable), but matches the macro variable namespace prefix "m_"
  127. drive.c:124: Variable m_res name is not a macro variable (it is a local
  128.                 variable), but matches the macro variable namespace prefix "m_"
  129. drive.c:135: Variable m_res name is not a macro variable (it is a local
  130.                 variable), but matches the macro variable namespace prefix "m_"
  131. drive.c:140: Fresh storage em1 not released before assignment:
  132.                 em1 = empset_create()
  133.    drive.c:35: Fresh storage em1 allocated
  134. drive.c:146: Fresh storage em2 not released before assignment:
  135.                 em2 = empset_create()
  136.    drive.c:74: Fresh storage em2 allocated
  137. drive.c:147: Fresh storage em3 not released before assignment:
  138.                 em3 = empset_disjointUnion(em2, em1)
  139.    drive.c:87: Fresh storage em3 allocated
  140. drive.c:159: Variable m_res name is not a macro variable (it is a local
  141.                 variable), but matches the macro variable namespace prefix "m_"
  142. drive.c:163: Fresh storage em1 not released before return
  143.    drive.c:140: Fresh storage em1 allocated
  144. drive.c:163: Fresh storage em2 not released before return
  145.    drive.c:146: Fresh storage em2 allocated
  146. drive.c:163: Fresh storage em3 not released before return
  147.    drive.c:147: Fresh storage em3 allocated
  148. < checking macros bool.h >
  149. < global checks >
  150. < cleaning ........... >
  151.  
  152. Finished LCLint checking --- 28 code errors found, as expected
  153.  
  154. < reading spec employee.lcl >
  155. < reading spec eref.lcl >
  156. < reading spec empset.lcl >
  157. < reading spec ereftab.lcl >
  158. < reading spec erc.lcl >
  159. < reading spec dbase.lcl >
  160. < preprocessing >
  161. < checking employee.c >
  162. < checking eref.c >
  163. < checking empset.c >
  164. < checking ereftab.c >
  165. < checking erc.c >
  166. < checking dbase.c >
  167. < checking drive.c >
  168. < checking macros bool.h >
  169. < global checks >
  170. < cleaning ........... >
  171.  
  172. Finished LCLint checking --- no code errors found
  173.