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...