Added support for omitted if clauses in conditionals, patch provided by peteran.

[splint.git] / test / macrosef.lcl

int f (sef int x, int y);

int g (int *x) { modifies *x; }