https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Aldy Hernandez <al...@gcc.gnu.org>: https://gcc.gnu.org/g:5f9ccf17de7f7581412c6bffd4a37beca9a79836 commit r12-4088-g5f9ccf17de7f7581412c6bffd4a37beca9a79836 Author: Aldy Hernandez <al...@redhat.com> Date: Fri Oct 1 13:05:36 2021 +0200 [PR102546] X << Y being non-zero implies X is also non-zero. This patch teaches this to range-ops. Tested on x86-64 Linux. gcc/ChangeLog: PR tree-optimization/102546 * range-op.cc (operator_lshift::op1_range): Teach range-ops that X << Y is non-zero implies X is also non-zero.