]> andersk Git - splint.git/blobdiff - test/fields.expect
Removed .lh .lcs .lcd files in test directory from distribution tar ball as suggested...
[splint.git] / test / fields.expect
index b958566c465eb23a21f947fdc9e7cf86bacd5f7c..5975e12a7918b7cd0472c9df66314dd2a7c1018f 100644 (file)
@@ -15,12 +15,13 @@ fields.c:55:10: Storage p->y reachable from return value is dependent (should
                    be owned)
    fields.c:54:3: Storage p->y becomes dependent
 fields.c: (in function f)
-fields.c:60:3: Owned storage p->x not released before assignment: p->x = NULL
+fields.c:60:3: Owned storage p->x (type int *) not released before assignment:
+                  p->x = NULL
 fields.c:62:18: Function returns with null storage derivable from parameter
                    p->x
    fields.c:60:10: Storage p->x becomes null
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
 
 fields2.c: (in function pair_copy)
 fields2.c:21:16: Storage p->x reachable from parameter is kept (should be
@@ -38,6 +39,6 @@ fields2.c:43:14: Storage p->x reachable from passed parameter is kept (should
                     be implicitly only): p
    fields2.c:42:3: Storage p->x becomes kept
 
-Finished LCLint checking --- 5 code errors found, as expected
+Finished checking --- 5 code warnings, as expected
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
This page took 0.038266 seconds and 4 git commands to generate.