; It's a bad idea to go recursively traipsing through types without a safety 
; net.

; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc
; RUN: echo "%S = type { %S*, int* }" | llvm-upgrade | llvm-as > %t.out2.bc
; RUN: llvm-link %t.out1.bc %t.out2.bc

%S = type { %S*, opaque* }