%A = type { }
%B = type { %D, %E, %B* }
%D = type { %E }
%E = type opaque
@g2 = external global %A
@g3 = external global %B
define void @f1() {
getelementptr %A, %A* null, i32 0
ret void
}