Don't try calling lsl when file is missing.

[splint-patched.git] / test / manual / sumsquares.c

extern int square (/*@sef@*/ int x);
# define square(x) ((x) *(x))

extern int sumsquares (int x, int y);
# define sumsquares(x,y) (square(x) + square(y))
 
int f (int i)
{
  return square (i++);
}