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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Looking at the code removing the two lines will just ICE via

  if (!bounds)
    {
      if (dump_file && (dump_flags & TDF_DETAILS))
        {
          fprintf (stderr, "chkp_find_bounds: cannot find bounds for
pointer\n");
          print_node (dump_file, "", ptr_src, 0);
        }
      internal_error ("chkp_find_bounds: Cannot find bounds for pointer");
    }

then.  The code assumes that for PARAM_DECLs chkp_get_registered_bounds should
have succeeded.

So yes, removing the two lines is ok.  But it doesn't fix the underlying bug...

Reply via email to