2 strings.c:21:6: Function main declared to return void, should return int
3 strings.c: (in function main)
4 strings.c:24:14: Function call may modify observer: "hullo"
5 strings.c:24:14: Storage becomes observer
6 strings.c:25:7: Observer storage passed as only param: f3 ("hullo")
7 strings.c:25:7: Storage becomes observer
9 Finished checking --- 3 code warnings, as expected
11 strings.c:21:6: Function main declared to return void, should return int
13 Finished checking --- 1 code warning, as expected
15 strings.c: (in function main)
16 strings.c:23:14: Call to unconstrained function f1 may modify observer: "hullo"
17 strings.c:23:14: Storage becomes observer
18 strings.c:24:14: Function call may modify observer: "hullo"
19 strings.c:24:14: Storage becomes observer
20 strings.c:25:7: Call to unconstrained function f3 may modify observer: "hullo"
21 strings.c:25:7: Storage becomes observer
22 strings.c:25:7: Observer storage passed as only param: f3 ("hullo")
23 strings.c:25:7: Storage becomes observer
25 Finished checking --- 4 code warnings, as expected