Some consistency changes to library & headers flags.

[splint-patched.git] / test / UNUSED / globals2.c

extern int glob1;

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