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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|possible wrong code due to  |[16/17 Regression] wrong
                   |ce1 combining 2 loads of    |code due to ce1 combining 2
                   |different incompatible      |loads of different
                   |aliasing sets               |incompatible aliasing sets
                 CC|                            |amonakov at gcc dot gnu.org

--- Comment #1 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
long f(int a, void *cc, long *d)
{
  long long c;
  *d = 0;
  if (a)
    c = *(long*)cc;
  else
    c = *(long long*)cc;
  *d = 1;
  return c;
}

is miscompiled at -O2

Reply via email to