Context Navigation

offset.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

File size: 276 bytes

Rev	Line
[ca4a8b1]	1	typedef struct data_t{
	2	int x;
	3	int y;
	4	}data_t;
	5
	6	int main(){
	7	data_t data;
	8	int *k=&(data.x);
	9	data_t *dptr;
	10
	11	data.x=0;
	12	data.x=1;
	13	dptr=(data_t )((char )k- (unsigned long)(&((data_t *)0)->x));
	14	dptr->x=100;
	15	dptr->y=100;
	16	$assert(data.x==100 && data.y==100);
	17	}

Note: See TracBrowser for help on using the repository browser.