[Bug middle-end/66581] New: [CHKP] internal compiler error: SSA corruption

[Bug middle-end/66581] New: [CHKP] internal compiler error: SSA corruption

[ienkovich at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66581

            Bug ID: 66581
           Summary: [CHKP] internal compiler error: SSA corruption
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ienkovich at gcc dot gnu.org
  Target Milestone: ---

>cat test.i
void *a;
int b;

void
fn1 (void)
{
  void *c = &&l_nop;
l_nop:
    for (; b;)
    ;
  int *d = c;
  c = fn1;
  *d = 1;
  goto *a;
}
>gcc -fcheck-pointer-bounds -mmpx test.i

Unable to coalesce ssa_names 11 and 13 which are marked as MUST COALESCE.
__bound_tmp.3_11(ab) and  __bound_tmp.3_13(ab)
test.i: In function 'fn1.chkp':
test.i:5:1: internal compiler error: SSA corruption
 fn1 (void)
 ^
0xf00ce1 fail_abnormal_edge_coalesce
       
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-ssa-coalesce.c:918
0xf01dc5 coalesce_partitions
       
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-ssa-coalesce.c:1221
0xf024af coalesce_ssa_name()
       
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-ssa-coalesce.c:1366
0xe83f86 remove_ssa_form
       
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-outof-ssa.c:1003
0xe848c9 rewrite_out_of_ssa(ssaexpand*)
       
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-outof-ssa.c:1237
0x851361 execute
        /gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/cfgexpand.c:5872

Fails on GCC 6 and GCC 5.1

[Bug middle-end/66581] [CHKP] internal compiler error: SSA corruption

[ienkovich at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66581

--- Comment #1 from Ilya Enkovich <ienkovich at gcc dot gnu.org> ---
Fixed in trunk by r224644.

[Bug middle-end/66581] [CHKP] internal compiler error: SSA corruption

[ienkovich at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66581

Ilya Enkovich <ienkovich at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Ilya Enkovich <ienkovich at gcc dot gnu.org> ---
Fixed