; RUN: opt -passes='devirt<2>(function(simplifycfg))' %s -S | FileCheck %s

; CHECK: unreachable

declare void @llvm.assume(i1 noundef)
declare i1 @bar(i8* nonnull dereferenceable(1))

define void  @foo() {
  %a = call i1 null()
  call void @llvm.assume(i1 %a)
  ret void
}