| Chris Lattner | aef20fb | 2004-10-16 18:24:11 +0000 | [diff] [blame^] | 1 | |
| 2 | implementation | ||||
| 3 | |||||
| 4 | declare void %bar() | ||||
| 5 | |||||
| 6 | int %foo() { ;; Calling this function has undefined behavior | ||||
| 7 | unreachable | ||||
| 8 | } | ||||
| 9 | |||||
| 10 | double %xyz() { | ||||
| 11 | call void %bar() | ||||
| 12 | unreachable ;; Bar must not return. | ||||
| 13 | } | ||||