source: CIVL/examples/por/pointerShare2.cvl

main
Last change on this file was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago

Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5704 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.