Combine logical OR ranges properly.
authorAndrew MacLeod <amacleod@redhat.com>
Mon, 26 Oct 2020 18:55:00 +0000 (14:55 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Mon, 26 Oct 2020 21:41:07 +0000 (17:41 -0400)
commit48722d158cbf692c24025e345ecbbbb570f66aa5
tree9918c57fb703d14c7fe3ec85918f665030487526
parentb784bbbe45414084551a824504650f21cb653ca1
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.
gcc/gimple-range-gori.cc
gcc/testsuite/gcc.dg/pr97567.c [new file with mode: 0644]