]> andersk Git - splint.git/blame - test/manual/sumsquares.c
Fixes for win32
[splint.git] / test / manual / sumsquares.c
CommitLineData
77970e15 1extern int square (/*@sef@*/ int x);
2# define square(x) ((x) *(x))
3
4extern int sumsquares (int x, int y);
5# define sumsquares(x,y) (square(x) + square(y))
6
7int f (int i)
8{
9 return square (i++);
10}
11
This page took 0.054555 seconds and 5 git commands to generate.