]> andersk Git - splint.git/blame - test/specclauses.expect
Fixed problem with comman line redefinitions (no filename).
[splint.git] / test / specclauses.expect
CommitLineData
885824d3 1
2specclauses.c: (in function f)
3specclauses.c:24:28: Only storage r.name (type char *) derived from variable
4 declared in this scope is not released (memory leak)
5specclauses.c:28:24: Undefined storage r.name corresponds to storage listed in
6 uses clause of called function: r
7specclauses.c:28:28: Only storage name not released before return
8 specclauses.c:17:49: Storage name becomes only
9specclauses.c:33:16: Allocated storage r.name corresponds to storage listed in
10 defines clause of called function: &r
11specclauses.c:34:17: Only storage r.name (type char *) derived from variable
12 declared in this scope is not released (memory leak)
13specclauses.c:40:23: Field r.name used after being released
14 specclauses.c:39:17: Storage r.name released
15
11db3170 16Finished checking --- 6 code warnings, as expected
885824d3 17
80ee600a 18specclauses2.c:10:13: Allocates clauses includes r->year of non-dynamically
19 allocated type int
885824d3 20specclauses2.c: (in function allocYear)
21specclauses2.c:14:2: Unallocated storage r->year corresponds to storage listed
22 in allocates clause
23specclauses2.c: (in function setName1)
24specclauses2.c:26:2: Undefined storage r->name corresponds to storage listed in
25 defines clause
26specclauses2.c: (in function setName3)
27specclauses2.c:37:2: Undefined storage r->name corresponds to storage listed in
28 sets clause
29 This sub-reference is undefined: *(r->name)
30specclauses2.c: (in function setName4)
80ee600a 31specclauses2.c:42:3: Implicitly only storage r->name (type char *) not released
32 before assignment: r->name = name
885824d3 33specclauses2.c: (in function allocName2)
34specclauses2.c:54:2: Unallocated storage r->name corresponds to storage listed
35 in allocates clause
36specclauses2.c: (in function freeName2)
37specclauses2.c:65:2: Unreleased storage r.name corresponds to storage listed in
38 releases clause
39specclauses2.c: (in function freeName4)
40specclauses2.c:76:2: Unreleased storage r->name corresponds to storage listed
41 in releases clause
42
11db3170 43Finished checking --- 8 code warnings, as expected
885824d3 44
885824d3 45specclauses3.c:7:6: Special clause accesses field of non-struct or union result
46 (int): *(result).name
47specclauses3.c: (in function badResult)
dadc0519 48specclauses3.c:12:10: Undefined storage <const <any>>->name corresponds to
49 storage result->name listed in defines clause: NULL
885824d3 50specclauses3.c:12:10: Null storage returned as non-null: NULL
51specclauses3.c: (in function createName2)
80ee600a 52specclauses3.c:29:10: Undefined storage res->name corresponds to storage
53 result->name listed in defines clause: res
885824d3 54specclauses3.c:29:10: Possibly null storage res returned as non-null: res
55 specclauses3.c:28:16: Storage res may become null
56specclauses3.c: (in function createName4)
57specclauses3.c:55:10: Unallocated storage res->name corresponds to storage
80ee600a 58 result->name listed in allocates clause: res
885824d3 59
11db3170 60Finished checking --- 6 code warnings, as expected
885824d3 61
62specclauses4.c: (in function usename)
63specclauses4.c:13:4: Dereference of null pointer *name: **name
80ee600a 64 specclauses4.c:11:8: Storage *name becomes null
885824d3 65specclauses4.c: (in function callname)
66specclauses4.c:27:12: Non-null storage *s corresponds to storage listed in
80ee600a 67 requires isnull clause of called function: s
885824d3 68specclauses4.c: (in function nullname2)
69specclauses4.c:42:2: Non-null storage *name corresponds to storage listed in
80ee600a 70 ensures isnull clause
885824d3 71
11db3170 72Finished checking --- 3 code warnings, as expected
885824d3 73
74specclauses5.c: (in function createrecord2)
75specclauses5.c:31:10: Null storage r->name derivable from return value: r
ccf0a4a8 76 specclauses5.c:30:14: Storage r->name becomes null
885824d3 77specclauses5.c: (in function newrecord2)
78specclauses5.c:43:10: Non-observer storage r->name corresponds to storage
80ee600a 79 result->name listed in ensures observer clause: r
885824d3 80specclauses5.c: (in function createrecordx)
81specclauses5.c:49:10: Observer storage r->name reachable from unqualified
82 return value
83 specclauses5.c:48:27: Storage r->name becomes observer
84
11db3170 85Finished checking --- 3 code warnings, as expected
This page took 0.079054 seconds and 5 git commands to generate.