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