blob: 9099c575ac191a1b7d3635590367f6052854efb4 [file] [log] [blame]
; 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
}