[Bug ipa/123319] [16 Regression] ICE at -O2/O3 during IPA pass: cp since r16-4603-g3d102b7a40bd17

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

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amacleod at redhat dot com,
                   |                            |jamborm at gcc dot gnu.org
            Summary|[16 Regression] ICE at      |[16 Regression] ICE at
                   |-O2/O3 during IPA pass: cp  |-O2/O3 during IPA pass: cp
                   |                            |since
                   |                            |r16-4603-g3d102b7a40bd17
           Keywords|needs-bisection             |

--- Comment #3 from Sam James <sjames at gcc dot gnu.org> ---
r16-4603-g3d102b7a40bd17

I don't know if that's some latent ranger problem or an ipa-cp bug:

bool
ipcp_vr_lattice::meet_with_1 (const vrange &other_vr)
{
  if (bottom_p ())
    return false;

  if (other_vr.varying_p ())
    return set_to_bottom ();

  bool res;
  if (flag_checking)
    {
      value_range save (m_vr);
      res = m_vr.union_ (other_vr);
      gcc_assert (res == (m_vr != save)); /* <-- */
    }
  else
    res = m_vr.union_ (other_vr);
  return res;
}