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 / null.expect < prev    next >
Text File  |  1997-09-03  |  8KB  |  177 lines
  1.  
  2. null1.c: (in function f)
  3. null1.c:19,20: Implicitly temp storage x returned as only: x
  4. null1.c:19,20: Possibly null storage x returned as non-null: x
  5.    null1.c:10,35: Storage x may become null
  6. null1.c:19,22: Fresh storage y not released before return
  7.    null1.c:12,41: Fresh storage y allocated
  8. null1.c:31,4: Dereference of possibly null pointer y: *y
  9.    null1.c:12,12: Storage y may become null
  10. null1.c:34,5: Possibly null storage z passed as non-null param: g (z)
  11.    null1.c:25,7: Storage z may become null
  12. null1.c:34,5: Passed storage z not completely defined (*z is undefined): g (z)
  13. null1.c:39,14: Dereference of possibly null pointer z: *z
  14.    null1.c:25,7: Storage z may become null
  15. null1.c:43,22: Dereference of possibly null pointer z4: *z4
  16.    null1.c:42,8: Storage z4 may become null
  17. null1.c:46,25: Dereference of possibly null pointer z2: *z2
  18.    null1.c:26,8: Storage z2 may become null
  19. null1.c:49,11: Dereference of possibly null pointer z3: *z3
  20.    null1.c:27,8: Storage z3 may become null
  21. null1.c:55,4: Dereference of possibly null pointer z2: *z2
  22.    null1.c:51,8: Storage z2 may become null
  23. null1.c:59,23: Dereference of possibly null pointer z5: *z5
  24.    null1.c:57,8: Storage z5 may become null
  25. null1.c:67,10: Possibly null storage z returned as non-null: z
  26.    null1.c:25,7: Storage z may become null
  27. null1.c:67,12: Fresh storage z3 not released before return
  28.    null1.c:27,3: Fresh storage z3 allocated
  29.  
  30. Finished LCLint checking --- 14 code errors found, as expected
  31.  
  32. null1.c: (in function f)
  33. null1.c:19,20: Implicitly temp storage x returned as only: x
  34. null1.c:19,22: Fresh storage y not released before return
  35.    null1.c:12,41: Fresh storage y allocated
  36. null1.c:34,5: Passed storage z not completely defined (*z is undefined): g (z)
  37. null1.c:67,12: Fresh storage z3 not released before return
  38.    null1.c:27,3: Fresh storage z3 allocated
  39.  
  40. Finished LCLint checking --- 4 code errors found, as expected
  41.  
  42. null2.c: (in function f)
  43. null2.c:15,10: Left operand of && is non-boolean (int *): x1 && (*x1 == 3)
  44. null2.c:16,19: Dereference of possibly null pointer x2: *x2
  45.    null2.c:10,55: Storage x2 may become null
  46. null2.c:17,18: Dereference of possibly null pointer x3: *x3
  47.    null2.c:11,21: Storage x3 may become null
  48. null2.c:17,10: Left operand of || is non-boolean (int *): x3 || (*x3 == 3)
  49. null2.c:20,27: Dereference of possibly null pointer x1: *x1
  50.    null2.c:10,35: Storage x1 may become null
  51. null2.c:23,7: Left operand of && is non-boolean (int *): x4 && (*x4 == 3)
  52. null2.c:30,8: Dereference of possibly null pointer x4: *x4
  53.    null2.c:11,41: Storage x4 may become null
  54. null2.c:35,14: Implicitly temp storage x3 returned as only: (x3)
  55. null2.c:35,14: Possibly null storage x3 returned as non-null: (x3)
  56.    null2.c:11,21: Storage x3 may become null
  57. null2.c:39,10: Implicitly temp storage x1 returned as only: (x1)
  58.  
  59. Finished LCLint checking --- 10 code errors found, as expected
  60.  
  61. null3.c: (in function f3)
  62. null3.c:16,4: Dereference of possibly null pointer gnip: *gnip
  63.    null3.c:3,25: Storage gnip may become null
  64. null3.c: (in function f)
  65. null3.c:27,4: Dereference of possibly null pointer arg0: *arg0
  66. null3.c:37,8: Dereference of possibly null pointer z: *z
  67.    null3.c:25,12: Storage z may become null
  68. null3.c:38,16: Only storage aip not released before return
  69.    null3.c:22,66: Storage aip becomes only
  70. null3.c:44,4: Dereference of possibly null pointer arg2: *arg2
  71. null3.c:52,4: Dereference of possibly null pointer gnip: *gnip
  72.    null3.c:51,10: Storage gnip may become null
  73. null3.c:53,9: Variable z used after being released
  74.    null3.c:51,3: Storage z released
  75. null3.c:53,3: Only storage gip not released before assignment (z aliases gnip):
  76.                  gip = z
  77.    null3.c:5,17: Storage gip becomes only
  78. null3.c:55,3: Only storage gnip not released before assignment: gnip = aip
  79.    null3.c:53,3: Storage gnip becomes only
  80. null3.c:60,14: Returned storage y not completely defined (*y is undefined): y
  81. null3.c:60,16: Function returns with non-null global gip referencing null
  82.                   storage
  83.    null3.c:53,9: Storage gip may become null
  84. null3.c:65,14: Possibly null storage y returned as non-null: y
  85.    null3.c:24,12: Storage y may become null
  86. null3.c:65,14: Returned storage y not completely defined (*y is undefined): y
  87. null3.c:65,16: Function returns with non-null global gip referencing null
  88.                   storage
  89.    null3.c:53,9: Storage gip may become null
  90. null3.c: (in function f2)
  91. null3.c:73,4: Dereference of possibly null pointer gnip: *gnip
  92.    null3.c:55,10: Storage gnip may become null
  93.  
  94. Finished LCLint checking --- 15 code errors found, as expected
  95.  
  96. null3.c: (in function f3)
  97. null3.c:16,4: Dereference of possibly null pointer gnip: *gnip
  98.    null3.c:3,25: Storage gnip may become null
  99. null3.c: (in function f)
  100. null3.c:27,4: Dereference of possibly null pointer arg0: *arg0
  101. null3.c:35,13: Possibly null storage y passed as non-null param: free (y)
  102.    null3.c:24,12: Storage y may become null
  103. null3.c:37,8: Dereference of possibly null pointer z: *z
  104.    null3.c:25,12: Storage z may become null
  105. null3.c:38,16: Only storage aip not released before return
  106.    null3.c:22,66: Storage aip becomes only
  107. null3.c:44,4: Dereference of possibly null pointer arg2: *arg2
  108. null3.c:52,4: Dereference of possibly null pointer gnip: *gnip
  109.    null3.c:51,10: Storage gnip may become null
  110. null3.c:53,9: Variable z used after being released
  111.    null3.c:51,3: Storage z released
  112. null3.c:53,3: Only storage gip not released before assignment (z aliases gnip):
  113.                  gip = z
  114.    null3.c:5,17: Storage gip becomes only
  115. null3.c:55,3: Only storage gnip not released before assignment: gnip = aip
  116.    null3.c:53,3: Storage gnip becomes only
  117. null3.c:60,14: Returned storage y not completely defined (*y is undefined): y
  118. null3.c:60,16: Function returns with non-null global gip referencing null
  119.                   storage
  120.    null3.c:53,9: Storage gip may become null
  121. null3.c:65,14: Possibly null storage y returned as non-null: y
  122.    null3.c:24,12: Storage y may become null
  123. null3.c:65,14: Returned storage y not completely defined (*y is undefined): y
  124. null3.c:65,16: Function returns with non-null global gip referencing null
  125.                   storage
  126.    null3.c:53,9: Storage gip may become null
  127. null3.c: (in function f2)
  128. null3.c:73,4: Dereference of possibly null pointer gnip: *gnip
  129.    null3.c:55,10: Storage gnip may become null
  130.  
  131. Finished LCLint checking --- 16 code errors found, as expected
  132.  
  133. null4.c: (in function g)
  134. null4.c:43,3: Only storage p not released before assignment: p = malloc(24)
  135.    null4.c:3,28: Storage p becomes only
  136.  
  137. Finished LCLint checking --- 1 code error found, as expected
  138.  
  139. null5.c:3,57: Qualifier falsenull used with function returning char (should
  140.                  return bool)
  141. null5.c:4,66: Qualifier falsenull used with function having 2 arguments (should
  142.                  have 1)
  143. null5.c: (in function g2)
  144. null5.c:24,15: Dereference of possibly null pointer y: *y
  145.    null5.c:16,25: Storage y may become null
  146. null5.c: (in function g3)
  147. null5.c:35,11: Dereference of null pointer y: *y
  148.    null5.c:28,25: Storage y becomes null
  149.  
  150. Finished LCLint checking --- 4 code errors found, as expected
  151.  
  152. null6.c:5,36: Function f1 declared with notnull parameter x of abstract type
  153.                  mnull
  154. null6.c: (in function f)
  155. null6.c:9,11: Dereference of possibly null pointer x: *x
  156. null6.c: (in function f6)
  157. null6.c:66,10: Possibly null storage x returned as non-null: x
  158.    null6.c:59,31: Storage x may become null
  159. null6.c: (in function f7)
  160. null6.c:82,10: Possibly null storage x returned as non-null: x
  161.    null6.c:79,11: Storage x may become null
  162.  
  163. Finished LCLint checking --- 4 code errors found, as expected
  164.  
  165. null6.c:5,36: Function f1 declared with notnull parameter x of abstract type
  166.                  mnull
  167. null6.c: (in function f)
  168. null6.c:9,11: Dereference of possibly null pointer x: *x
  169. null6.c: (in function f6)
  170. null6.c:66,10: Possibly null storage x returned as non-null: x
  171.    null6.c:59,31: Storage x may become null
  172. null6.c: (in function f7)
  173. null6.c:82,10: Possibly null storage x returned as non-null: x
  174.    null6.c:79,11: Storage x may become null
  175.  
  176. Finished LCLint checking --- 4 code errors found, as expected
  177.