source: CIVL/examples/concurrency/pointerShare2.cvl@ b863633

#include<civlc.h>
int *x;
int *p;
$heap h = $heap_create();

void f() {
  int y=0;
  {
    int *q = p;
    y = y + 1;
    *q = 15;
  }
}

void main() {
  x = (int*) $malloc(h, sizeof(int));
  p = x;
  *x = 0;
  $spawn f(); 
  $assert(*p==0);
}