[Bug ipa/79772] New: [6/7 Regression][CHKP] ICE on invalid code in chkp_process_stmt (tree-chkp.c:4034)

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

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

            Bug ID: 79772
           Summary: [6/7 Regression][CHKP] ICE on invalid code in
                    chkp_process_stmt (tree-chkp.c:4034)
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: ienkovich at gcc dot gnu.org, msebor at gcc dot gnu.org
  Target Milestone: ---

Starting from Martin's commit r231665, we ICE on:

$ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/flexary11.C -mmpx
-fcheck-pointer-bounds

0xf5e88d crash_signal
        ../../gcc/toplev.c:337
0x6dd2aa contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
        ../../gcc/tree.h:3177
0xbf0777 fold_convert_loc(unsigned int, tree_node*, tree_node*)
        ../../gcc/fold-const.c:2215
0xc24ce5 convert_to_ptrofftype_loc(unsigned int, tree_node*)
        ../../gcc/fold-const.c:14372
0xc24d0e fold_build_pointer_plus_loc(unsigned int, tree_node*, tree_node*)
        ../../gcc/fold-const.c:14379
0x102e2fa chkp_process_stmt
        ../../gcc/tree-chkp.c:4034
0x102f660 chkp_instrument_function
        ../../gcc/tree-chkp.c:4255
0x102f660 chkp_execute
        ../../gcc/tree-chkp.c:4470
0x102f660 execute
        ../../gcc/tree-chkp.c:4529