[Bug tree-optimization/72824] [5/6/7 Regression] Signed floating point zero semantics broken at optimization level -O3 (tree-loop-distribute-patterns)

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jakub at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
   Target Milestone|---                         |5.5

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Most likely started with r187655.

static inline void
foo (float *x, float value)
{
  int i;
  for (i = 0; i < 32; ++i)
    x[i] = value;
}

int
main ()
{
  float x[32];
  foo (x, -0.f);
  if (__builtin_copysignf (1.0, x[3]) != -1.0f)
    __builtin_abort ();
  return 0;
}

I'll have a look.