source: CIVL/mods/dev.civl.abc/examples/svcomp/pointerIntConversions.c@ 8553be8

void* f(int a){
  return a;
}

void* g(int t){
  return t;
}

int h(void* x){
  return x;
}

int main(){
  int t, *p=&t;

  f(p);
  g(t);
  h(t);
}