[Bug ipa/78644] [7 Regression] ICE: SIGSEGV in is_gimple_reg_type with -Og -fipa-cp

[zsojka at seznam dot cz]

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

--- Comment #6 from Zdenek Sojka <zsojka at seznam dot cz> ---
Created attachment 40981
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40981&action=edit
another testcase

$ x86_64-pc-linux-gnu-gcc -Og -finline-functions-called-once testcase.c
-Wno-psabi
==20182== Invalid read of size 2
==20182==    at 0x8D0572: is_gimple_reg_type (gimple-expr.h:75)
==20182==    by 0x8D0572: is_gimple_val(tree_node*) (gimple-expr.c:782)
==20182==    by 0xC11E70: verify_gimple_assign_unary (tree-cfg.c:3634)
==20182==    by 0xC11E70: verify_gimple_assign (tree-cfg.c:4475)
==20182==    by 0xC11E70: verify_gimple_stmt(gimple*) (tree-cfg.c:4732)
==20182==    by 0xC25B29: verify_gimple_in_cfg(function*, bool)
(tree-cfg.c:5193)
==20182==    by 0xABE056: execute_function_todo(function*, void*)
(passes.c:1966)
==20182==    by 0xABF10B: execute_todo(unsigned int) (passes.c:2016)
==20182==    by 0xAC15AD: execute_one_pass(opt_pass*) (passes.c:2505)
==20182==    by 0xAC1CB0: execute_pass_list_1(opt_pass*) (passes.c:2554)
==20182==    by 0xAC1CC2: execute_pass_list_1(opt_pass*) (passes.c:2555)
==20182==    by 0xAC1D04: execute_pass_list(function*, opt_pass*)
(passes.c:2565)
==20182==    by 0x752F12: cgraph_node::expand() (cgraphunit.c:2038)
==20182==    by 0x754639: expand_all_functions (cgraphunit.c:2174)
==20182==    by 0x754639: symbol_table::compile() [clone .part.51]
(cgraphunit.c:2531)
==20182==    by 0x756D16: compile (cgraphunit.c:2624)
==20182==    by 0x756D16: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2621)
==20182==    by 0xBDD442: compile_file() (toplev.c:492)
==20182==    by 0x5A457F: do_compile (toplev.c:2000)
==20182==    by 0x5A457F: toplev::main(int, char**) (toplev.c:2134)
==20182==    by 0x5A686A: main (main.c:39)
==20182==  Address 0x0 is not stack'd, malloc'd or (recently) free'd
==20182== 
testcase.c: In function 'foo':
testcase.c:13:1: internal compiler error: Segmentation fault
 foo (U u, V v)
 ^~~