diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-09-23 09:32:00 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-09-23 12:56:43 -0400 |
| commit | fe4e6c824a580012bf9034cc33f0b440df93f56f (patch) | |
| tree | d51ab000122b4b0e4c987ac4c00cccf6d0675680 /gcc/gimple-range-fold.cc | |
| parent | 053e1d642104d19d5f9e5fb08a9e7354a0db28f5 (diff) | |
| download | gcc-fe4e6c824a580012bf9034cc33f0b440df93f56f.zip gcc-fe4e6c824a580012bf9034cc33f0b440df93f56f.tar.gz gcc-fe4e6c824a580012bf9034cc33f0b440df93f56f.tar.bz2 | |
Look for a relation between operands only when possible.
Do not look for a relation between 2 operands if there is no range-ops handler.
gcc/
PR tree-optimization/102463
* gimple-range-fold.cc (fold_using_range::relation_fold_and_or): If
there is no range-ops handler, don't look for a relation.
gcc/testsuite/
* gcc.dg/pr102463.c: New.
Diffstat (limited to 'gcc/gimple-range-fold.cc')
| -rw-r--r-- | gcc/gimple-range-fold.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc index 35324fd..bb09b75 100644 --- a/gcc/gimple-range-fold.cc +++ b/gcc/gimple-range-fold.cc @@ -1358,6 +1358,10 @@ fold_using_range::relation_fold_and_or (irange& lhs_range, gimple *s, range_operator *handler1 = gimple_range_handler (SSA_NAME_DEF_STMT (ssa1)); range_operator *handler2 = gimple_range_handler (SSA_NAME_DEF_STMT (ssa2)); + // If either handler is not present, no relation is found. + if (!handler1 || !handler2) + return; + int_range<2> bool_one (boolean_true_node, boolean_true_node); relation_kind relation1 = handler1->op1_op2_relation (bool_one); |