1 ; RUN: opt -inline -S %s | FileCheck %s 2 3 define void @f() { 4 entry: 5 tail call void @g() 6 unreachable 7 8 ; CHECK-LABEL: @f 9 ; CHECK-NOT: call 10 ; CHECK: unreachable 11 } 12 13 define void @g() { 14 entry: 15 unreachable 16 } 17 18