Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / tclauses / gt.c

extern int glob;

int f (void) /*@globals undef glob@*/
{
  return glob;
}