]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /*@only@*/ /*@null@*/ int *f(void) |
2 | { | |
3 | int *x = NULL; | |
4 | int *z; | |
5 | ||
6 | if (3 > 4) | |
7 | { | |
8 | int *y1 = malloc (sizeof (int)); | |
9 | int *y2 = malloc (sizeof (int)); | |
10 | ||
11 | if (y1 != NULL) | |
12 | { | |
13 | *y1 = 3; | |
14 | } | |
15 | ||
16 | if (y2 != NULL) | |
17 | { | |
18 | *y2 = 3; | |
19 | } | |
20 | ||
21 | x = y1; | |
22 | z = y2; | |
23 | } | |
24 | ||
25 | return x; | |
26 | } |