]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | #include <stdio.h> |
2 | #include <stdlib.h> | |
3 | ||
4 | char *foo1(void) | |
5 | { | |
6 | static char buf[1000]; | |
7 | ||
8 | strcpy(buf, "hello"); | |
9 | return buf; | |
10 | } | |
11 | ||
12 | /*@observer@*/ char *foo2(void) | |
13 | { | |
14 | static char buf[1000]; | |
15 | ||
16 | strcpy(buf, "hello"); | |
17 | return buf; | |
18 | } | |
19 | ||
20 | char *f (char outstr[]) | |
21 | { | |
22 | return outstr; | |
23 | } | |
24 | ||
25 | char *g (char *outstr) | |
26 | { | |
27 | return outstr; | |
28 | } |