Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / test.c

int main (void) {
  int  *ip;
  *ip = 3;           /* 5. possible null deref */
}