diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-09-27 19:12:06 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-09-29 18:34:18 -0400 |
| commit | ef9bc3626ceacf9a81c1e6178a5b0eb83ca2e559 (patch) | |
| tree | d1484b3cd3ed5313375bdc743137151b0773ad37 /gcc/value-relation.h | |
| parent | 845ee38e9b40230fbb1b9825fb62146fd858cd96 (diff) | |
| download | gcc-ef9bc3626ceacf9a81c1e6178a5b0eb83ca2e559.zip gcc-ef9bc3626ceacf9a81c1e6178a5b0eb83ca2e559.tar.gz gcc-ef9bc3626ceacf9a81c1e6178a5b0eb83ca2e559.tar.bz2 | |
Audit op1_range and op2_range for undefined LHS.
If the LHS is undefined, GORI should cease looking. There are numerous
places where this happens, and a few potential traps.
* range-op.cc (operator_minus::op2_range): Check for undefined.
(operator_mult::op1_range): Ditto.
(operator_exact_divide::op1_range): Ditto.
(operator_lshift::op1_range): Ditto.
(operator_rshift::op1_range): Ditto.
(operator_cast::op1_range): Ditto.
(operator_bitwise_and::op1_range): Ditto.
(operator_bitwise_or::op1_range): Ditto.
(operator_trunc_mod::op1_range): Ditto.
(operator_trunc_mod::op2_range): Ditto.
(operator_bitwise_not::op1_range): Ditto.
(pointer_or_operator::op1_range): Ditto.
(range_op_handler::op1_range): Ditto.
(range_op_handler::op2_range): Ditto.
Diffstat (limited to 'gcc/value-relation.h')
0 files changed, 0 insertions, 0 deletions