Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / moreBufferTests / strrchr.c

void
bar (char * t)
{

  char *tt;
  tt = strrchr (t, '\n');
}