Committing after merging Evan's changes.

[splint.git] / test / test.c

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