source: CIVL/examples/por/pointerShare2.cvl@ ac43965

1.23 2.0 main test-branch
Last change on this file since ac43965 was d66b03b, checked in by Ziqing Luo <ziqing@…>, 10 years ago

got rid of $root

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@3026 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 292 bytes
Line 
1#include<civlc.cvh>
2
3int *x;
4int *p;
5$scope root = $here;
6
7void f() {
8 int y=0;
9 {
10 int *q = p;
11 y = y + 1;
12 *q = 15;
13 }
14}
15
16void main() {
17 $proc fp;
18
19 x = (int*) $malloc(root, sizeof(int));
20 p = x;
21 *x = 0;
22 fp = $spawn f();
23 $assert((*p==0));
24 $wait(fp);
25 $free(x);
26}
Note: See TracBrowser for help on using the repository browser.