; 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
}