diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-09-19 09:59:01 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-20 19:33:32 +0200 |
| commit | 10d6109fe183d984a0377a7afe2854a0d794ebeb (patch) | |
| tree | 33d9bf1ef1b19f9bc7f48ff129445a521b7c0ca9 /gcc/fortran | |
| parent | d812e8cb2a920fd75768e16ca8ded59ad93c172f (diff) | |
| download | gcc-10d6109fe183d984a0377a7afe2854a0d794ebeb.zip gcc-10d6109fe183d984a0377a7afe2854a0d794ebeb.tar.gz gcc-10d6109fe183d984a0377a7afe2854a0d794ebeb.tar.bz2 | |
frange::set_nonnegative should not contain -NAN.
A specifically nonnegative range should not contain -NAN, otherwise
signbit_p() would return false, because we'd be unsure of the sign.
PR 68097/tree-optimization
gcc/ChangeLog:
* value-range.cc (frange::set_nonnegative): Set +NAN.
(range_tests_signed_zeros): New test.
* value-range.h (frange::update_nan): New overload to set NAN sign.
Diffstat (limited to 'gcc/fortran')
0 files changed, 0 insertions, 0 deletions