; very simple test
;
; RUN: analyze %s -tddatastructure

implementation

int *%foo(ulong %A, double %B, long %C) {
	%X = malloc int*
	%D = cast int** %X to ulong
	%E = cast ulong %D to int*
	store int* %E, int** %X

	%F = malloc {int}
	%G = getelementptr {int}* %F, long 0, ubyte 0
	store int* %G, int** %X

	%K = malloc int **
	store int** %X, int***%K

	%H = cast long %C to int*
	ret int* null ; %H
}