;
; RUN: analyze %s -tddatastructure

%str = type { int*, int* }

implementation

void %bar(%str* %S, bool %C) {
	br bool %C, label %T, label %F
T:
	%A = getelementptr %str* %S, long 0, ubyte 0
	br label %Out
F:
	%B = getelementptr %str* %S, long 0, ubyte 1
	br label %Out
Out:
	%P = phi int** [%A, %T], [%B, %F]
	store int* null, int** %P
	ret void
}