1; RUN: opt -passes='devirt<2>(function(simplifycfg))' %s -S | FileCheck %s
2
3; CHECK: unreachable
4
5declare void @llvm.assume(i1 noundef)
6declare i1 @bar(ptr nonnull dereferenceable(1))
7
8define void @foo() {
9 %a = call i1 null()
10 call void @llvm.assume(i1 %a)
11 ret void
12}
13