Context Navigation

mallocForStruct.cvl@ 64f7cb1

1.23 2.0 main test-branch

Last change on this file since 64f7cb1 was aba72ad1, checked in by Ziqing Luo <ziqing@…>, 11 years ago

fixed the bug that evaluator cannot get the extent of an array type owned by a struct field.

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

File size: 255 bytes

Rev	Line
[aba72ad1]	1	#include <stdlib.h>
	2
	3	typedef struct arg {
	4	double a;
	5	double b[3];
	6	int * c[2][2][2];
	7	}arg;
	8
	9
	10	int main() {
	11	arg * args = (arg *)malloc(sizeof(arg));
	12	int array[2] = {1,2};
	13
	14	args->a = 1;
	15	args->b[1] = 1;
	16	args->c[1][1][1] = array;
	17	free(args);
	18	}

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