diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-10-19 17:14:02 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-10-20 18:45:24 +0200 |
| commit | 3dfdc0d1e1c4e00a77f2afc41d577c1b36cb4702 (patch) | |
| tree | ecb51448422d849292f3e7f616da4955b63f6dac /gcc/c-family/c-semantics.c | |
| parent | 9a8b37f5476ba1f92fd9a85add035ace89535e79 (diff) | |
| download | gcc-3dfdc0d1e1c4e00a77f2afc41d577c1b36cb4702.zip gcc-3dfdc0d1e1c4e00a77f2afc41d577c1b36cb4702.tar.gz gcc-3dfdc0d1e1c4e00a77f2afc41d577c1b36cb4702.tar.bz2 | |
A false UNORDERED_<cond> means neither operand can be a NAN.
The false side of UNORDERED_<cond> means neither operand can be a NAN.
Adjust all the op[12]_range entries for the UNORDERED operators such
that a known NAN on one operands means the other operands is
undefined.
gcc/ChangeLog:
* range-op-float.cc (foperator_unordered_le::op1_range): Adjust
false side with a NAN operand.
(foperator_unordered_le::op2_range): Same.
(foperator_unordered_gt::op1_range): Same.
(foperator_unordered_gt::op2_range): Same.
(foperator_unordered_ge::op1_range): Same.
(foperator_unordered_ge::op2_range): Same.
(foperator_unordered_equal::op1_range): Same.
Diffstat (limited to 'gcc/c-family/c-semantics.c')
0 files changed, 0 insertions, 0 deletions