2 ; RUN: analyze %s -tddatastructure
4 %str = type { int*, int* }
8 void %bar(%str* %S, bool %C) {
9 br bool %C, label %T, label %F
11 %A = getelementptr %str* %S, long 0, ubyte 0
14 %B = getelementptr %str* %S, long 0, ubyte 1
17 %P = phi int** [%A, %T], [%B, %F]
18 store int* null, int** %P