%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* null, i32 0
  ret void
}