Mercurial > hg > Members > tobaru > cbc > CbC_llvm
annotate test/Integer/unreachable_bt.ll @ 0:95c75e76d11b
LLVM 3.4
| author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Thu, 12 Dec 2013 13:56:28 +0900 |
| parents | |
| children |
| rev | line source |
|---|---|
| 0 | 1 ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll |
| 2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll | |
| 3 ; RUN: diff %t1.ll %t2.ll | |
| 4 | |
| 5 | |
| 6 | |
| 7 declare void @bar() | |
| 8 | |
| 9 define i9 @foo() { ;; Calling this function has undefined behavior | |
| 10 unreachable | |
| 11 } | |
| 12 | |
| 13 define double @xyz() { | |
| 14 call void @bar() | |
| 15 unreachable ;; Bar must not return. | |
| 16 } |