| 885824d3 |
1 | |
| 2 | repexpose.c: (in function abst_create) |
| 80ee600a |
3 | repexpose.c:8:4: Arrow access from possibly null pointer a: a->name |
| 885824d3 |
4 | repexpose.c:5:12: Storage a may become null |
| 5 | repexpose.c:13:3: Possible undocumented modification of p->parent through alias |
| 6 | a->parent: a->parent = b->parent |
| 7 | repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: |
| 8 | a->name = *globstring |
| 9 | repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: |
| 10 | b->name = *globstring |
| 11 | repexpose.c:16:3: Storage *globstring becomes kept |
| 12 | repexpose.c:19:10: Storage a->name reachable from return value is kept (should |
| 13 | be implicitly only) |
| 14 | repexpose.c:17:3: Storage a->name becomes kept |
| 15 | repexpose.c:19:10: Returned storage *a contains 1 undefined field: im |
| 16 | repexpose.c:19:12: Storage *globstring reachable from global is kept (should be |
| 17 | unqualified) |
| 18 | repexpose.c:16:3: Storage *globstring becomes kept |
| 19 | repexpose.c: (in function abst_name) |
| 20 | repexpose.c:26:18: Released storage a->name reachable from parameter at return |
| 21 | point |
| 16c024b5 |
22 | repexpose.c:26:10: Storage a->name released |
| 885824d3 |
23 | repexpose.c: (in function abst_parent) |
| 24 | repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent |
| 25 | repexpose.c:45:25: Only storage a not released before return |
| 26 | repexpose.c:40:24: Storage a becomes only |
| 27 | repexpose.c: (in function immut_name) |
| 28 | repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) |
| 29 | repexpose.c: (in function abst_setIm) |
| 30 | repexpose.c:57:3: Undocumented modification of a->im: a->im = im |
| 31 | |
| 11db3170 |
32 | Finished checking --- 12 code warnings, as expected |
| 885824d3 |
33 | |
| 34 | repexpose.c: (in function abst_create) |
| 80ee600a |
35 | repexpose.c:8:4: Arrow access from possibly null pointer a: a->name |
| 885824d3 |
36 | repexpose.c:5:12: Storage a may become null |
| 37 | repexpose.c:13:3: Possible undocumented modification of p->parent through alias |
| 38 | a->parent: a->parent = b->parent |
| 39 | repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: |
| 40 | a->name = *globstring |
| 41 | repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: |
| 42 | b->name = *globstring |
| 43 | repexpose.c:16:3: Storage *globstring becomes kept |
| 44 | repexpose.c:19:10: Storage a->name reachable from return value is kept (should |
| 45 | be implicitly only) |
| 46 | repexpose.c:17:3: Storage a->name becomes kept |
| 47 | repexpose.c:19:10: Returned storage *a contains 1 undefined field: im |
| 48 | repexpose.c:19:12: Storage *globstring reachable from global is kept (should be |
| 49 | unqualified) |
| 50 | repexpose.c:16:3: Storage *globstring becomes kept |
| 51 | repexpose.c: (in function abst_name) |
| 52 | repexpose.c:26:10: Function returns reference to parameter a: a->name |
| 53 | repexpose.c:26:18: Released storage a->name reachable from parameter at return |
| 54 | point |
| 16c024b5 |
55 | repexpose.c:26:10: Storage a->name released |
| 885824d3 |
56 | repexpose.c: (in function abst_aval) |
| 57 | repexpose.c:37:10: Function returns reference to parameter a: (&(a->val)) |
| 58 | repexpose.c: (in function abst_parent) |
| 59 | repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent |
| 60 | repexpose.c:45:25: Only storage a not released before return |
| 61 | repexpose.c:40:24: Storage a becomes only |
| 62 | repexpose.c: (in function immut_name) |
| 63 | repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) |
| 64 | repexpose.c:51:10: Function returns reference to parameter im: (im->name) |
| 65 | repexpose.c: (in function abst_setIm) |
| 66 | repexpose.c:57:3: Undocumented modification of a->im: a->im = im |
| 67 | |
| 11db3170 |
68 | Finished checking --- 15 code warnings, as expected |
| 885824d3 |
69 | |
| 70 | repexpose.c: (in function abst_create) |
| 80ee600a |
71 | repexpose.c:8:4: Arrow access from possibly null pointer a: a->name |
| 885824d3 |
72 | repexpose.c:5:12: Storage a may become null |
| 73 | repexpose.c:10:3: Assignment of mutable parameter p to component of abstract |
| 74 | type abst exposes rep: a->parent = p |
| 75 | repexpose.c:11:3: Assignment of mutable parameter p (through alias b) to |
| 76 | component of abstract type abst exposes rep: a->parent = b |
| 77 | repexpose.c:12:3: Assignment of mutable component of parameter p to component |
| 78 | of abstract type abst exposes rep: a->parent = p->parent |
| 79 | repexpose.c:13:3: Possible undocumented modification of p->parent through alias |
| 80 | a->parent: a->parent = b->parent |
| 81 | repexpose.c:13:3: Assignment of mutable component of parameter p (through alias |
| 82 | b->parent) to component of abstract type abst exposes rep: |
| 83 | a->parent = b->parent |
| 84 | repexpose.c:16:3: Assignment of global globstring to component of abstract type |
| 85 | abst exposes rep: a->name = *globstring |
| 86 | repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: |
| 87 | a->name = *globstring |
| 88 | repexpose.c:17:3: Assignment of global globstring to component of abstract type |
| 89 | abst exposes rep: b->name = *globstring |
| 90 | repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: |
| 91 | b->name = *globstring |
| 92 | repexpose.c:16:3: Storage *globstring becomes kept |
| 93 | repexpose.c:19:10: Storage a->name reachable from return value is kept (should |
| 94 | be implicitly only) |
| 95 | repexpose.c:17:3: Storage a->name becomes kept |
| 96 | repexpose.c:19:10: Returned storage *a contains 1 undefined field: im |
| 97 | repexpose.c:19:12: Storage *globstring reachable from global is kept (should be |
| 98 | unqualified) |
| 99 | repexpose.c:16:3: Storage *globstring becomes kept |
| 100 | repexpose.c: (in function abst_name) |
| 101 | repexpose.c:26:10: Function returns reference to parameter a: a->name |
| 102 | repexpose.c:26:10: Return value exposes rep of abst: a->name |
| 103 | repexpose.c:26:18: Released storage a->name reachable from parameter at return |
| 104 | point |
| 16c024b5 |
105 | repexpose.c:26:10: Storage a->name released |
| 885824d3 |
106 | repexpose.c: (in function abst_aval) |
| 107 | repexpose.c:37:10: Function returns reference to parameter a: (&(a->val)) |
| 108 | repexpose.c:37:10: Return value exposes rep of abst: (&(a->val)) |
| 109 | repexpose.c: (in function abst_parent) |
| 110 | repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent |
| 111 | repexpose.c:45:15: Return value exposes rep of abst: b->parent |
| 112 | repexpose.c:45:15: Return value may expose rep of abst through alias a: |
| 113 | b->parent |
| 114 | repexpose.c:45:25: Only storage a not released before return |
| 115 | repexpose.c:40:24: Storage a becomes only |
| 116 | repexpose.c: (in function immut_name) |
| 117 | repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) |
| 118 | repexpose.c:51:10: Function returns reference to parameter im: (im->name) |
| 119 | repexpose.c:51:10: Return value exposes rep of immut: (im->name) |
| 120 | repexpose.c: (in function abst_setIm) |
| 121 | repexpose.c:57:3: Undocumented modification of a->im: a->im = im |
| d5047b91 |
122 | repexpose.lh:5:16: Variable globstring declared but not defined |
| 885824d3 |
123 | |
| 11db3170 |
124 | Finished checking --- 27 code warnings, as expected |
andersk / splint.git / blame