]>
Commit | Line | Data |
---|---|---|
77970e15 | 1 | extern int square (/*@sef@*/ int x); |
2 | # define square(x) ((x) *(x)) | |
3 | ||
4 | extern int sumsquares (int x, int y); | |
5 | # define sumsquares(x,y) (square(x) + square(y)) | |
6 | ||
7 | int f (int i) | |
8 | { | |
9 | return square (i++); | |
10 | } | |
11 |