Don't try calling lsl when file is missing.
[splint-patched.git] / test / manual / globals.c
blob4da566bc0224fdd402372b9ab9d212179e8da840
1 int glob1, glob2;
3 int f (void) /*@globals glob1;@*/
4 {
5 return glob2;