]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | int f(/*@sef@*/ int x, int y); |
2 | # define f(x,y) ((x) + (x) + (y) + (y)) /* 1. */ | |
3 | ||
4 | int g (int *p) | |
5 | { | |
6 | *p++; | |
7 | return *p; | |
8 | } | |
9 | ||
10 | int m (int *p) | |
11 | { | |
12 | int x = f ((printf ("yo\n"), 3), g(p)); | |
13 | ||
14 | return (f (g (p), x)); | |
15 | } |