cases2.c: (in function f2)
cases2.c:26:5: Variable x is released in one possible execution, but live in
other possible execution.
- cases2.c:23:16: Storage x is released
+ cases2.c:26:5: in one possible execution:
+ cases2.c:23:16: Storage x released
cases2.c: (in function f3)
cases2.c:37:5: Variable x is released in one possible execution, but live in
other possible execution.
- cases2.c:36:16: Storage x is released
+ cases2.c:37:5: in one possible execution:
+ cases2.c:36:16: Storage x released
Finished checking --- 2 code warnings, as expected
cases2.c: (in function f2)
cases2.c:26:5: Variable x is released in one possible execution, but live in
other possible execution.
- cases2.c:23:16: Storage x is released
+ cases2.c:26:5: in one possible execution:
+ cases2.c:23:16: Storage x released
cases2.c: (in function f3)
cases2.c:37:5: Variable x is released in one possible execution, but live in
other possible execution.
- cases2.c:36:16: Storage x is released
+ cases2.c:37:5: in one possible execution:
+ cases2.c:36:16: Storage x released
cases2.c:1:24: Function g declared but not defined
Finished checking --- 3 code warnings, as expected