noexpand always false.

[splint.git] / test / manual / globals.c

int glob1, glob2;

int f (void) /*@globals glob1;@*/
{    
   return glob2; 
}