/* run.config
 OPT: -val-use-spec f,h -val -inout -inout-callwise -calldeps
 OPT: -val-use-spec f,h -val -inout -inout-callwise -calldeps -show-indirect-deps
*/


void f(int *x) {
}

void g(int *y);

//@ assigns *z \from \nothing;
void h(int *z) {
}

//@ assigns *w \from \nothing;
void i(int *w);

int w, x, y, z;

void main() {
  f(&x);
  g(&y);
  h(&z);
  i(&w);
}
