Reid Spencer | d7c2c2f | 2006-12-02 20:34:08 +0000 | [diff] [blame] | 1 | ; RUN: llvm-upgrade < %s | llvm-as -o /dev/null -f |
Tanya Lattner | e7e3f2e | 2004-11-06 22:07:09 +0000 | [diff] [blame] | 2 | |
Reid Spencer | d7c2c2f | 2006-12-02 20:34:08 +0000 | [diff] [blame] | 3 | ; This testcase failed due to a bad assertion in SymbolTable.cpp, removed in |
| 4 | ; the 1.20 revision. Basically the symbol table assumed that if there was an |
| 5 | ; abstract type in the symbol table, [in this case for the entry %foo of type |
| 6 | ; void(opaque)* ], that there should have also been named types by now. This |
| 7 | ; was obviously not the case here, and this is valid. Assertion disabled. |
Chris Lattner | 2122318 | 2002-01-25 03:58:05 +0000 | [diff] [blame] | 8 | |
| 9 | declare void "foo"(%bb) |
| 10 | %bb = type int |
| 11 | |
| 12 | implementation |
| 13 | |