[Bug tree-optimization/83177] New: ICE with -mmpx -fcheck-pointer-bounds + __builtin___bnd_narrow_ptr_bounds + _setjmp

["eggert at gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

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.