diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2023-11-28 09:39:30 -0500 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2023-11-29 11:43:53 -0500 |
| commit | ea19de921b01a6ab470929f8da4dde526edb08f1 (patch) | |
| tree | 5088e0a596202dc03e252f4956c009488989a119 /gcc/ada | |
| parent | 302461ad9a04d82fee904bddac69811d13d5bb6a (diff) | |
| download | gcc-ea19de921b01a6ab470929f8da4dde526edb08f1.zip gcc-ea19de921b01a6ab470929f8da4dde526edb08f1.tar.gz gcc-ea19de921b01a6ab470929f8da4dde526edb08f1.tar.bz2 | |
Add operand_check_p to range-ops.
Add an optional method to verify operands are compatible, and check
the operands before all range operations.
* range-op-mixed.h (operator_equal::operand_check_p): New.
(operator_not_equal::operand_check_p): New.
(operator_lt::operand_check_p): New.
(operator_le::operand_check_p): New.
(operator_gt::operand_check_p): New.
(operator_ge::operand_check_p): New.
(operator_plus::operand_check_p): New.
(operator_abs::operand_check_p): New.
(operator_minus::operand_check_p): New.
(operator_negate::operand_check_p): New.
(operator_mult::operand_check_p): New.
(operator_bitwise_not::operand_check_p): New.
(operator_bitwise_xor::operand_check_p): New.
(operator_bitwise_and::operand_check_p): New.
(operator_bitwise_or::operand_check_p): New.
(operator_min::operand_check_p): New.
(operator_max::operand_check_p): New.
* range-op.cc (range_op_handler::fold_range): Check operand
parameter types.
(range_op_handler::op1_range): Ditto.
(range_op_handler::op2_range): Ditto.
(range_op_handler::operand_check_p): New.
(range_operator::operand_check_p): New.
(operator_lshift::operand_check_p): New.
(operator_rshift::operand_check_p): New.
(operator_logical_and::operand_check_p): New.
(operator_logical_or::operand_check_p): New.
(operator_logical_not::operand_check_p): New.
* range-op.h (range_operator::operand_check_p): New.
(range_op_handler::operand_check_p): New.
Diffstat (limited to 'gcc/ada')
0 files changed, 0 insertions, 0 deletions