[Bug middle-end/64415] New: [5 Regression] ICE: verify_ssa failed / segmentation fault with LTO

[d.g.gorbachev at gmail dot com]

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

            Bug ID: 64415
           Summary: [5 Regression] ICE: verify_ssa failed / segmentation
                    fault with LTO
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: d.g.gorbachev at gmail dot com

Created attachment 34339
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34339&action=edit
Testcases

With testcase 1:

foo.c: In function 'foo':
foo.c:5:6: internal compiler error: Segmentation fault
 void foo()
      ^
0x87fd6b8 crash_signal
    ../../gcc-5/gcc/toplev.c:359
0x8a2d417 gimple_code
    ../../gcc-5/gcc/gimple.h:1545
0x8a2e0a6 gimple_nop_p
    ../../gcc-5/gcc/gimple.h:5589
0x8a30bac verify_use
    ../../gcc-5/gcc/tree-ssa.c:769
0x8a3166c verify_ssa(bool, bool)
    ../../gcc-5/gcc/tree-ssa.c:1024
0x8713cdb execute_function_todo
    ../../gcc-5/gcc/passes.c:1947
0x8712dfe do_per_function
    ../../gcc-5/gcc/passes.c:1632
0x8713e85 execute_todo
    ../../gcc-5/gcc/passes.c:1997

With testcase 2:

foo.c: In function 'foo':
foo.c:5:6: error: definition in block 3 does not dominate use in block 2
 void foo()
      ^
for SSA_NAME: _2 in statement:
# DEBUG p => _2
foo.c:5:6: internal compiler error: verify_ssa failed
0x8a318dc verify_ssa(bool, bool)
    ../../gcc-5/gcc/tree-ssa.c:1062
0x8713cdb execute_function_todo
    ../../gcc-5/gcc/passes.c:1947
0x8712dfe do_per_function
    ../../gcc-5/gcc/passes.c:1632
0x8713e85 execute_todo
    ../../gcc-5/gcc/passes.c:1997

GCC 5.0.0 20141226 (experimental) /r219070/.