Remove unused cpplib_createDefinition.

[splint.git] / test / specclauses.expect

diff --git a/test/specclauses.expect b/test/specclauses.expect
index 0c5fb8d3f0988b9c879eae432978565bd8851419..137cc8b8d634b3beebe269e2ac2802617ab0decb 100644 (file)
--- a/test/specclauses.expect
+++ b/test/specclauses.expect
@@ -13,7 +13,7 @@ specclauses.c:34:17: Only storage r.name (type char *) derived from variable
 specclauses.c:40:23: Field r.name used after being released
    specclauses.c:39:17: Storage r.name released
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
 
 specclauses2.c:10:13: Allocates clauses includes r->year of non-dynamically
                          allocated type int
@@ -40,13 +40,11 @@ specclauses2.c: (in function freeName4)
 specclauses2.c:76:2: Unreleased storage r->name corresponds to storage listed
                         in releases clause
 
-Finished LCLint checking --- 8 code errors found, as expected
+Finished checking --- 8 code warnings, as expected
 
 specclauses3.c:7:6: Special clause accesses field of non-struct or union result
                        (int): *(result).name
 specclauses3.c: (in function badResult)
-specclauses3.c:12:10: Undefined storage <const ?>->name corresponds to storage
-                         result->name listed in defines clause: NULL
 specclauses3.c:12:10: Null storage returned as non-null: NULL
 specclauses3.c: (in function createName2)
 specclauses3.c:29:10: Undefined storage res->name corresponds to storage
@@ -57,7 +55,7 @@ specclauses3.c: (in function createName4)
 specclauses3.c:55:10: Unallocated storage res->name corresponds to storage
                          result->name listed in allocates clause: res
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 5 code warnings, as expected
 
 specclauses4.c: (in function usename)
 specclauses4.c:13:4: Dereference of null pointer *name: **name
@@ -69,17 +67,17 @@ specclauses4.c: (in function nullname2)
 specclauses4.c:42:2: Non-null storage *name corresponds to storage listed in
                         ensures isnull clause
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
 
 specclauses5.c: (in function createrecord2)
 specclauses5.c:31:10: Null storage r->name derivable from return value: r
-   specclauses5.c:30:26: Storage r->name becomes null
+   specclauses5.c:30:14: Storage r->name becomes null
 specclauses5.c: (in function newrecord2)
 specclauses5.c:43:10: Non-observer storage r->name corresponds to storage
                          result->name listed in ensures observer clause: r
 specclauses5.c: (in function createrecordx)
 specclauses5.c:49:10: Observer storage r->name reachable from unqualified
                          return value
-   specclauses5.c:48:27: Storage r->name becomes observer
+   specclauses5.c:48:14: Storage r->name becomes observer
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected