[Bug tree-optimization/107286] New: gcc/value-range.cc:4027: range_tests_floats: FAIL: ASSERT_TRUE ((real_isinf (&r0.lower_bound (), true)))

[Bug tree-optimization/107286] New: gcc/value-range.cc:4027: range_tests_floats: FAIL: ASSERT_TRUE ((real_isinf (&r0.lower_bound (), true)))

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107286

            Bug ID: 107286
           Summary: gcc/value-range.cc:4027: range_tests_floats: FAIL:
                    ASSERT_TRUE ((real_isinf (&r0.lower_bound (), true)))
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: aldyh at gcc dot gnu.org
  Target Milestone: ---
            Target: rx-elf

The following self-test fails on rx-elf:

$ ./xgcc -B./ -B/home/marxin/bin/gcc/rx-elf/bin/ -isystem
/home/marxin/bin/gcc/rx-elf/include -isystem
/home/marxin/bin/gcc/rx-elf/sys-include -L/dev/shm/objdir2/gcc/../ld  -xc
-nostdinc /dev/null -S -o /dev/null
-fself-test=/home/marxin/Programming/gcc/gcc/testsuite/selftests
/home/marxin/Programming/gcc/gcc/value-range.cc:4027: range_tests_floats: FAIL:
ASSERT_TRUE ((real_isinf (&r0.lower_bound (), true)))
In function ‘test_fn’:
cc1: internal compiler error: in fail, at selftest.cc:47
0x23fa644 selftest::fail(selftest::location const&, char const*)
        /home/marxin/Programming/gcc/gcc/selftest.cc:47
0x18dfba0 range_tests_floats
        /home/marxin/Programming/gcc/gcc/value-range.cc:4027
0x18dfc42 selftest::range_tests()
        /home/marxin/Programming/gcc/gcc/value-range.cc:4039
0x20cae3c test_ranges
        /home/marxin/Programming/gcc/gcc/function-tests.cc:584
0x20cb6b8 selftest::function_tests_cc_tests()
        /home/marxin/Programming/gcc/gcc/function-tests.cc:680
0x22c67bd selftest::run_tests()
        /home/marxin/Programming/gcc/gcc/selftest-run-tests.cc:107
0x1429917 toplev::run_self_tests()
        /home/marxin/Programming/gcc/gcc/toplev.cc:2184
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
make: *** [/home/marxin/Programming/gcc/gcc/c/Make-lang.in:128: s-selftest-c]
Error 1

[Bug tree-optimization/107286] gcc/value-range.cc:4027: range_tests_floats: FAIL: ASSERT_TRUE ((real_isinf (&r0.lower_bound (), true)))

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107286

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Target Milestone|---                         |13.0
               Host|                            |x86_64-linux-gnu
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-10-17

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Note the test was added in r13-3305-g3dfeda095bd43c.

[Bug tree-optimization/107286] gcc/value-range.cc:4027: range_tests_floats: FAIL: ASSERT_TRUE ((real_isinf (&r0.lower_bound (), true)))

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107286

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:

https://gcc.gnu.org/g:cb1edef9f4dadeffa15fdfd2fb206d78027b7b32

commit r13-3335-gcb1edef9f4dadeffa15fdfd2fb206d78027b7b32
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Mon Oct 17 15:26:05 2022 +0200

    Do not test for -Inf when flag_finite_math_only.

            PR tree-optimization/107286

    gcc/ChangeLog:

            * value-range.cc (range_tests_floats): Do not test for -Inf when
            flag_finite_math_only.

[Bug tree-optimization/107286] gcc/value-range.cc:4027: range_tests_floats: FAIL: ASSERT_TRUE ((real_isinf (&r0.lower_bound (), true)))

[aldyh at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107286

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
fixed