[Bug c++/111759] New: __FLT_HAS_INFINITY__ has value 1 even when -ffinite-math-only is used.

[Bug c++/111759] New: __FLT_HAS_INFINITY__ has value 1 even when -ffinite-math-only is used.

[Zahira.Ammarguellat at intel dot com]

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

            Bug ID: 111759
           Summary: __FLT_HAS_INFINITY__ has value 1 even when
                    -ffinite-math-only is used.
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: Zahira.Ammarguellat at intel dot com
  Target Milestone: ---

Not sure if this is a bug but would like community feedback. 

In https://godbolt.org/z/fqMdqfM7n we see that __FLT_HAS_INFINITY__ is set to 1
even when -ffast-math and -ffinite-math-only are used. Shouldn't this be set to
0 in presence of these options?

In limits header:
static _GLIBCXX_USE_CONSTEXPR bool has_infinity = __FLT_HAS_INFINITY__;

That means the value of std::numeric_limits<float>::has_infinity will always be
1 even with -ffast-math and -ffinite-math-only. See
https://godbolt.org/z/M6W6Ejc7W

Is this acceptable?

Any feedback appreciated.
Thanks.

[Bug c++/111759] __FLT_HAS_INFINITY__ has value 1 even when -ffinite-math-only is used.

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I think this is basically a dup of bug 84949

[Bug c++/111759] __FLT_HAS_INFINITY__ has value 1 even when -ffinite-math-only is used.

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Yes this is a dup. There is talk about infinite there too.

*** This bug has been marked as a duplicate of bug 84949 ***