[Bug middle-end/79761] New: [CHKP] ICE in chkp_find_bounds_1, at tree-chkp.c:3452

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

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

            Bug ID: 79761
           Summary: [CHKP] ICE in chkp_find_bounds_1, at tree-chkp.c:3452
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: ienkovich at gcc dot gnu.org
  Target Milestone: ---

Starting from introduction of MPX, we ICE:

$ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/opt/call2.C -mabi=ms
-fcheck-pointer-bounds -mmpx
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/opt/call2.C: In constructor
‘Bar::Bar(\xe2\x80\x98pointer_bounds_typ\xe2\x80\x99 not supported by
dump_type#<type error>, Foo, \xe2\x80\x98pointer_bounds_typ\xe2\x80\x99 not
supported by dump_type#<type error>, void, ...)’:
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/opt/call2.C:34:1: internal
compiler error: in chkp_find_bounds_1, at tree-chkp.c:3605
 }
 ^
0x102bdb0 chkp_find_bounds_1
        ../../gcc/tree-chkp.c:3605
0x102fb5f chkp_find_bounds
        ../../gcc/tree-chkp.c:3702
0x102fb5f chkp_add_bounds_to_call_stmt
        ../../gcc/tree-chkp.c:1899
0x102fb5f chkp_instrument_function
        ../../gcc/tree-chkp.c:4286
0x102fb5f chkp_execute
        ../../gcc/tree-chkp.c:4470
0x102fb5f execute
        ../../gcc/tree-chkp.c:4529

Btw. the code in the case looks strange:

3604        case PARM_DECL:
3605          gcc_unreachable ();
3606          bounds = chkp_get_bound_for_parm (ptr_src);
3607          break;
3608    
3609        case TARGET_MEM_REF:

I would remove lines 3606 and 3607. I've tried for fun to remove the
gcc_unreachable and it crashed at a different place.