[Bug c/71328] New: ice in verify_jump_thread

["dcb314 at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 71328
           Summary: ice in verify_jump_thread
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 38588
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38588&action=edit
C source code

The attached code, when compiled by today's gcc and compiler flag -O2,
does this:

oval_glob_to_regex.c: In function âoval_glob_to_regexâ:
oval_glob_to_regex.c:48:7: internal compiler error: in verify_jump_thread, at
tree-ssa-threadupdate.c:2191
0xd66fe3 verify_jump_thread(basic_block_def**, unsigned int)
        ../../src/trunk/gcc/tree-ssa-threadupdate.c:2191
0xd6907d duplicate_thread_path
        ../../src/trunk/gcc/tree-ssa-threadupdate.c:2341
0xd6907d thread_through_all_blocks(bool)
        ../../src/trunk/gcc/tree-ssa-threadupdate.c:2496
0xd6100e execute
        ../../src/trunk/gcc/tree-ssa-threadbackward.c:686