Finished checking --- no warnings
booltest.c: (in function f)
-booltest.c:9:12: Return value type int does not match declared type bool: i
booltest.c:8:7: Test expression for if not bool, type int: i
+booltest.c:9:12: Return value type int does not match declared type bool: i
Finished checking --- 2 code warnings, as expected
immutable.c:7:6: Arrow access from possibly null pointer res: res->x
immutable.c:5:19: Storage res may become null
immutable.c:8:10: Fresh storage returned as unqualified (should be only): res
- immutable.c:5:54: Fresh storage res allocated
+ immutable.c:5:54: Fresh storage res created
Finished checking --- 2 code warnings, as expected