| Chris Lattner | 8890f7b | 2002-07-25 20:52:34 +0000 | [diff] [blame] | 1 | ; Make sure we don't get an assertion failure, even though this is a parse |
| 2 | ; error | ||||
| Dan Gohman | fea1dd0 | 2009-08-25 15:38:29 +0000 | [diff] [blame] | 3 | ; RUN: not llvm-as %s -o /dev/null |& grep {'@foo' defined with} |
| Chris Lattner | 8890f7b | 2002-07-25 20:52:34 +0000 | [diff] [blame] | 4 | |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 5 | %ty = type void (i32) |
| Chris Lattner | 8890f7b | 2002-07-25 20:52:34 +0000 | [diff] [blame] | 6 | |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 7 | declare %ty* @foo() |
| Chris Lattner | 8890f7b | 2002-07-25 20:52:34 +0000 | [diff] [blame] | 8 | |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 9 | define void @test() { |
| 10 | call %ty* @foo( ) ; <%ty*>:0 [#uses=0] | ||||
| Chris Lattner | 8890f7b | 2002-07-25 20:52:34 +0000 | [diff] [blame] | 11 | ret void |
| 12 | } | ||||
| 13 | |||||