]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | merge.c: (in function f2) | |
3 | merge.c:33:4: Variable y used in inconsistent state | |
4 | merge.c:30:28: Storage y becomes inconsistent (released on one branch) | |
5 | merge.c:33:4: Dereference of possibly null pointer y: *y | |
6 | merge.c:21:12: Storage y may become null | |
7 | merge.c: (in function f3) | |
8 | merge.c:51:4: Dereference of possibly null pointer y: *y | |
9 | merge.c:50:7: Storage y may become null | |
10 | ||
11db3170 | 11 | Finished checking --- 3 code warnings, as expected |