test/null.expect

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