Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / ud2.lcl

void f1(out char **x) { modifies *x; }
void f2(char **x) { modifies *x; }
void f3(out int *y) { modifies *y; }