https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97567
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>: https://gcc.gnu.org/g:48722d158cbf692c24025e345ecbbbb570f66aa5 commit r11-4393-g48722d158cbf692c24025e345ecbbbb570f66aa5 Author: Andrew MacLeod <amacl...@redhat.com> Date: Mon Oct 26 14:55:00 2020 -0400 Combine logical OR ranges properly. When combining logical OR operands with a FALSE result, union the false ranges for operand1 and operand2... not intersection. gcc/ PR tree-optimization/97567 * gimple-range-gori.cc (gori_compute::logical_combine): Union the ranges of operand1 and operand2, not intersect. gcc/testsuite/ * gcc.dg/pr97567.c: New.