2 nullret.c: (in function f1)
3 nullret.c:1:22: Null storage returned as non-null: 0
4 nullret.c: (in function f3)
5 nullret.c:7:22: Null storage returned as non-null: 0
7 Finished checking --- 2 code warnings, as expected
9 Finished checking --- no warnings