diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2023-09-15 08:24:24 -0400 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2023-09-19 12:30:01 -0400 |
| commit | 9c739c9893ca6af841e7c67cce0ad9c17a248d13 (patch) | |
| tree | df09c1c7803e63188b0ad7c7207d8b148014a985 /libcpp/init.cc | |
| parent | d2f53a601a23925b795ac162f7936163c3461b2c (diff) | |
| download | gcc-9c739c9893ca6af841e7c67cce0ad9c17a248d13.zip gcc-9c739c9893ca6af841e7c67cce0ad9c17a248d13.tar.gz gcc-9c739c9893ca6af841e7c67cce0ad9c17a248d13.tar.bz2 | |
[frange] Add op2_range for operator_not_equal.
We're missing an op2_range entry for operator_not_equal so GORI can
calculate an outgoing edge. The false side of != is true and
guarantees we don't have a NAN, so it's important to get this right.
We eventually get it through an intersection of various ranges in
ranger, but it's best to get things correct as early as possible.
gcc/ChangeLog:
* range-op-float.cc (operator_not_equal::op2_range): New.
* range-op-mixed.h: Add operator_not_equal::op2_range.
gcc/testsuite/ChangeLog:
* gcc.dg/tree-ssa/vrp-float-13.c: New test.
Diffstat (limited to 'libcpp/init.cc')
0 files changed, 0 insertions, 0 deletions