diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-12-06 10:41:29 -0500 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-12-08 08:52:55 -0500 |
| commit | 0ef9991d8767932f51fa97753c16058d17b29b18 (patch) | |
| tree | 0a6bfb5dd99d68cca239dcfa6dedcf0119298d98 /gcc/gimple-range.cc | |
| parent | bb2e5da7ef7740269ae95533179de8d186ee04bc (diff) | |
| download | gcc-0ef9991d8767932f51fa97753c16058d17b29b18.zip gcc-0ef9991d8767932f51fa97753c16058d17b29b18.tar.gz gcc-0ef9991d8767932f51fa97753c16058d17b29b18.tar.bz2 | |
Ensure arguments to range-op handler are supported.
PR tree-optimization/107985
gcc/
* gimple-range-op.cc
(gimple_range_op_handler::gimple_range_op_handler): Check if type
of the operands is supported.
* gimple-range.cc (gimple_ranger::prefill_stmt_dependencies): Do
not assert if here is no range-op handler.
gcc/testsuite/
* g++.dg/pr107985.C: New.
Diffstat (limited to 'gcc/gimple-range.cc')
| -rw-r--r-- | gcc/gimple-range.cc | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc index ecd6039..8c05582 100644 --- a/gcc/gimple-range.cc +++ b/gcc/gimple-range.cc @@ -422,18 +422,20 @@ gimple_ranger::prefill_stmt_dependencies (tree ssa) else { gimple_range_op_handler handler (stmt); - gcc_checking_assert (handler); - tree op = handler.operand2 (); - if (op) + if (handler) { - Value_Range r (TREE_TYPE (op)); - prefill_name (r, op); - } - op = handler.operand1 (); - if (op) - { - Value_Range r (TREE_TYPE (op)); - prefill_name (r, op); + tree op = handler.operand2 (); + if (op) + { + Value_Range r (TREE_TYPE (op)); + prefill_name (r, op); + } + op = handler.operand1 (); + if (op) + { + Value_Range r (TREE_TYPE (op)); + prefill_name (r, op); + } } } } |