Don't try calling lsl when file is missing.
[splint-patched.git] / test / macrosef.lcl
blob69a94a5b55232b4f56c85eb94f0eceb4c0e482d3
1 int f (sef int x, int y);
3 int g (int *x) { modifies *x; }