+null1.c: (in function ptrpred)
+null1.c:7:22: Out storage x not defined before return
null1.c: (in function f)
null1.c:19:20: Implicitly temp storage x returned as only: x
null1.c:19:20: Possibly null storage x returned as non-null: x
null1.c:10:35: Storage x may become null
null1.c:19:22: Fresh storage y not released before return
- null1.c:12:41: Fresh storage y allocated
+ null1.c:12:41: Fresh storage y created
null1.c:31:4: Dereference of possibly null pointer y: *y
null1.c:12:12: Storage y may become null
null1.c:34:5: Possibly null storage z passed as non-null param: g (z)
null1.c:25:7: Storage z may become null
null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z)
+ null1.c:25:3: Storage *z allocated
null1.c:39:14: Dereference of null pointer z: *z
null1.c:25:7: Storage z becomes null
null1.c:43:22: Dereference of possibly null pointer z4: *z4
null1.c:67:10: Possibly null storage z returned as non-null: z
null1.c:25:7: Storage z may become null
null1.c:67:12: Fresh storage z3 not released before return
- null1.c:27:3: Fresh storage z3 allocated
+ null1.c:27:3: Fresh storage z3 created
-Finished LCLint checking --- 14 code errors found, as expected
+Finished checking --- 15 code warnings, as expected
null1.c: (in function f)
null1.c:19:20: Implicitly temp storage x returned as only: x
null1.c:19:22: Fresh storage y not released before return
- null1.c:12:41: Fresh storage y allocated
+ null1.c:12:41: Fresh storage y created
null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z)
+ null1.c:25:3: Storage *z allocated
null1.c:67:12: Fresh storage z3 not released before return
- null1.c:27:3: Fresh storage z3 allocated
+ null1.c:27:3: Fresh storage z3 created
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
+null2.c: (in function ptrpred)
+null2.c:7:22: Out storage x not defined before return
null2.c: (in function f)
null2.c:15:10: Left operand of && is non-boolean (int *): x1 && (*x1 == 3)
null2.c:16:19: Dereference of possibly null pointer x2: *x2
null2.c:11:21: Storage x3 may become null
null2.c:39:10: Implicitly temp storage x1 returned as only: (x1)
-Finished LCLint checking --- 10 code errors found, as expected
+Finished checking --- 11 code warnings, as expected
null3.c: (in function f3)
null3.c:16:4: Dereference of possibly null pointer gnip: *gnip
null3.c:51:10: Storage gnip may become null
null3.c:53:9: Variable z used after being released
null3.c:51:3: Storage z released
-null3.c:53:3: Only storage gip not released before assignment (z aliases gnip):
- gip = z
+null3.c:53:3: Only storage gip (type int *) not released before assignment (z
+ aliases gnip): gip = z
null3.c:5:17: Storage gip becomes only
-null3.c:55:3: Only storage gnip not released before assignment: gnip = aip
- null3.c:53:3: Storage gnip becomes only
+null3.c:55:3: Only storage gnip (type nip) not released before assignment:
+ gnip = aip
+ null3.c:53:3: Storage gnip becomes kept
null3.c:60:14: Returned storage y not completely defined (*y is undefined): y
+ null3.c:24:42: Storage *y allocated
null3.c:60:16: Function returns with non-null global gip referencing null
storage
null3.c:53:9: Storage gip may become null
null3.c:65:14: Possibly null storage y returned as non-null: y
null3.c:24:12: Storage y may become null
null3.c:65:14: Returned storage y not completely defined (*y is undefined): y
+ null3.c:24:42: Storage *y allocated
null3.c:65:16: Function returns with non-null global gip referencing null
storage
null3.c:53:9: Storage gip may become null
null3.c:73:4: Dereference of possibly null pointer gnip: *gnip
null3.c:55:10: Storage gnip may become null
-Finished LCLint checking --- 15 code errors found, as expected
+Finished checking --- 15 code warnings, as expected
null3.c: (in function f3)
null3.c:16:4: Dereference of possibly null pointer gnip: *gnip
null3.c:51:10: Storage gnip may become null
null3.c:53:9: Variable z used after being released
null3.c:51:3: Storage z released
-null3.c:53:3: Only storage gip not released before assignment (z aliases gnip):
- gip = z
+null3.c:53:3: Only storage gip (type int *) not released before assignment (z
+ aliases gnip): gip = z
null3.c:5:17: Storage gip becomes only
-null3.c:55:3: Only storage gnip not released before assignment: gnip = aip
- null3.c:53:3: Storage gnip becomes only
+null3.c:55:3: Only storage gnip (type nip) not released before assignment:
+ gnip = aip
+ null3.c:53:3: Storage gnip becomes kept
null3.c:60:14: Returned storage y not completely defined (*y is undefined): y
+ null3.c:24:42: Storage *y allocated
null3.c:60:16: Function returns with non-null global gip referencing null
storage
null3.c:53:9: Storage gip may become null
null3.c:65:14: Possibly null storage y returned as non-null: y
null3.c:24:12: Storage y may become null
null3.c:65:14: Returned storage y not completely defined (*y is undefined): y
+ null3.c:24:42: Storage *y allocated
null3.c:65:16: Function returns with non-null global gip referencing null
storage
null3.c:53:9: Storage gip may become null
null3.c:73:4: Dereference of possibly null pointer gnip: *gnip
null3.c:55:10: Storage gnip may become null
-Finished LCLint checking --- 16 code errors found, as expected
+Finished checking --- 16 code warnings, as expected
null4.c: (in function g)
-null4.c:43:3: Only storage p not released before assignment: p = malloc(24)
+null4.c:43:3: Only storage p (type int *) not released before assignment:
+ p = malloc(24)
null4.c:3:28: Storage p becomes only
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
-null5.c:5:57: Qualifier falsenull used with function returning char (should
+null5.c:5:29: Qualifier falsenull used with function returning char (should
return bool)
-null5.c:6:66: Qualifier falsenull used with function having 2 arguments (should
+null5.c:6:29: Qualifier falsenull used with function having 2 arguments (should
have 1)
null5.c: (in function g2)
null5.c:26:15: Dereference of possibly null pointer y: *y
null5.c:37:11: Dereference of null pointer y: *y
null5.c:30:25: Storage y becomes null
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
null6.c:7:36: Function f1 declared with notnull parameter x of abstract type
mnull
null6.c:84:10: Possibly null storage x returned as non-null: x
null6.c:81:11: Storage x may become null
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
null6.c:7:36: Function f1 declared with notnull parameter x of abstract type
mnull
null6.c:84:10: Possibly null storage x returned as non-null: x
null6.c:81:11: Storage x may become null
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected