https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84988
Martin Liška <marxin at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2018-03-20 CC| |marxin at gcc dot gnu.org Assignee|unassigned at gcc dot gnu.org |marxin at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> --- Confirmed, we should probably bound maximum size of an array that is checked: 1736 for (cur = 0; cur <= TREE_INT_CST_LOW (maxval); cur++) 1737 chkp_find_bound_slots_1 (etype, have_bound, offs + cur * esize); Note the MPX will be removed in next stage1. Thus I would suggest not to come up with a param. Let me cook a patch.