[Bug tree-optimization/111694] [13/14 Regression] Wrong behavior for signbit of negative zero when optimizing

[amonakov at gcc dot gnu.org via Gcc-bugs]

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

Alexander Monakov <amonakov at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amonakov at gcc dot gnu.org
          Component|web                         |tree-optimization
            Summary|Wrong behavior for signbit  |[13/14 Regression] Wrong
                   |of negative zero when       |behavior for signbit of
                   |optimizing                  |negative zero when
                   |                            |optimizing
           Keywords|                            |wrong-code

--- Comment #1 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
Reduced:

#define signbit(x) __builtin_signbit(x)

static void test(double l, double r)
{
  if (l == r && (signbit(l) || signbit(r)))
    ;
  else
    __builtin_abort();
}

int main()
{
  test(0.0, -0.0);
}