https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83177
Bug ID: 83177 Summary: ICE with -mmpx -fcheck-pointer-bounds + __builtin___bnd_narrow_ptr_bounds + _setjmp Product: gcc Version: 7.2.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: eggert at gnu dot org Target Milestone: --- Host: x86-64 Created attachment 42726 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42726&action=edit Preprocessed source code illustrating the bug. I got this when compiling an experimental version of GNU Emacs. I used GCC 7.2.1 20170915 (Red Hat 7.2.1-2) on x86-74 (Fedora 27). To reproduce, compile the attached program via: gcc -mmpx -fcheck-pointer-bounds -S v.i The output is: Unable to coalesce ssa_names 253 and 236 which are marked as MUST COALESCE. __bound_tmp.11_253(ab) and __bound_tmp.11_236(ab) v.i: In function ‘internal_lisp_condition_case.chkp’: v.i:143:1: internal compiler error: SSA corruption internal_lisp_condition_case (Lisp_Object var, Lisp_Object bodyform, ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ Please submit a full bug report, with preprocessed source if appropriate. See <http://bugzilla.redhat.com/bugzilla> for instructions. Preprocessed source stored into /tmp/ccZ79fr1.out file, please attach this to y\ our bugreport. I will attach /tmp/ccZ79fr1.out.