; | |
; 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 | |
} |