llvm-project/llvm/test/Transforms/SCCP/2006-12-19-UndefBug.ll

; RUN: opt < %s -sccp -S | \
; RUN:   grep {ret i1 false}

define i1 @foo() {
	%X = and i1 false, undef		; <i1> [#uses=1]
	ret i1 %X
}