; RUN: llvm-upgrade < %s | llvm-as | opt -sccp | llvm-dis | \
; RUN:   grep 'ret i1 false'

bool %foo() {
	%X = and bool false, undef
	ret bool %X
}