source: CIVL/mods/dev.civl.com/examples/por/pointerShare2.cvl@ cb4d4f4

main test-branch
Last change on this file since cb4d4f4 was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

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

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