diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-09-04 08:00:02 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-04 14:44:10 +0200 |
| commit | 8293a9632c46c8f3f9d531c09194aa8738944927 (patch) | |
| tree | 030846febc01c08166501311e33357d2b8a75e5b /gcc/tree-switch-conversion.c | |
| parent | 6832dd39d7b5ede0122a27633ef1859ce3d893a6 (diff) | |
| download | gcc-8293a9632c46c8f3f9d531c09194aa8738944927.zip gcc-8293a9632c46c8f3f9d531c09194aa8738944927.tar.gz gcc-8293a9632c46c8f3f9d531c09194aa8738944927.tar.bz2 | |
Do not clobber signbit when unioning a NAN.
When unioning a known NAN and something else, we're dropping the
properties of the NAN, particularly the sign. This fixes the
oversight.
With this patch, we should be keeping the sign bit up to date, even in
the presence of NANs.
gcc/ChangeLog:
* value-range.cc (frange::union_): Do not drop properties when
unioning a NAN with something else.
(range_tests_signed_zeros): Add tests.
Diffstat (limited to 'gcc/tree-switch-conversion.c')
0 files changed, 0 insertions, 0 deletions