; RUN: llvm-upgrade < %s | llvm-as -o /dev/null -f

; This testcase failed due to a bad assertion in SymbolTable.cpp, removed in 
; the 1.20 revision. Basically the symbol table assumed that if there was an 
; abstract type in the symbol table, [in this case for the entry %foo of type 
; void(opaque)* ], that there should have also been named types by now.  This 
; was obviously not the case here, and this is valid.  Assertion disabled.

declare void "foo"(%bb)
%bb = type int 

implementation