https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80262
--- Comment #6 from Stefan M Freudenberger <stefan at reservoir dot com> --- Created attachment 41134 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41134&action=edit Modified source program that shows issue on x86_64. I've modified my example (attached) to show the issue in x86_64, and tried it on ToT, with the following results: GNU C11 (GCC) version 7.0.1 20170330 (experimental) (x86_64-pc-linux-gnu) compiled by GNU C version 7.0.1 20170330 (experimental), GMP version 6.1.2, MPFR version 3.1.5, MPC version 1.0.3, isl version none GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096 Compiler executable checksum: a526ee0d3a9f89b7e918be755c2fadee bug5.c: In function ‘clearS2’: bug5.c:23:1: internal compiler error: tree check: expected integer_cst, have addr_space_convert_expr in decompose, at tree.h:5256 } ^ 0xdebe6c tree_check_failed(tree_node const*, char const*, int, char const*, ...) ../../src/gcc-trunk/gcc/tree.c:9817 0x57b864 tree_check(tree_node const*, char const*, int, char const*, tree_code) ../../src/gcc-trunk/gcc/tree.h:3320 0x57b864 wi::int_traits<tree_node const*>::decompose(long*, unsigned int, tree_node const*) ../../src/gcc-trunk/gcc/tree.h:5256 0xdf41aa wi::int_traits<tree_node const*>::decompose(long*, unsigned int, tree_node const*) ../../src/gcc-trunk/gcc/tree.h:3254 0xdf41aa wide_int_ref_storage<false>::wide_int_ref_storage<tree_node const*>(tree_node const* const&) ../../src/gcc-trunk/gcc/wide-int.h:967 0xdf41aa generic_wide_int<wide_int_ref_storage<false> >::generic_wide_int<tree_node*>(tree_node* const&) ../../src/gcc-trunk/gcc/wide-int.h:745 0xdf41aa mem_ref_offset(tree_node const*) ../../src/gcc-trunk/gcc/tree.c:4645 0xc4f131 indirect_refs_may_alias_p ../../src/gcc-trunk/gcc/tree-ssa-alias.c:1319 0xc519bc refs_may_alias_p_1(ao_ref*, ao_ref*, bool) ../../src/gcc-trunk/gcc/tree-ssa-alias.c:1536 0xd0cca5 vn_reference_lookup_3 ../../src/gcc-trunk/gcc/tree-ssa-sccvn.c:1821 0xc54689 maybe_skip_until ../../src/gcc-trunk/gcc/tree-ssa-alias.c:2645 0xc54b64 get_continuation_for_phi_1 ../../src/gcc-trunk/gcc/tree-ssa-alias.c:2686 0xc54b64 get_continuation_for_phi(gimple*, ao_ref*, unsigned int*, bitmap_head**, bool, void* (*)(ao_ref*, tree_node*, void*, bool*), void*) ../../src/gcc-trunk/gcc/tree-ssa-alias.c:2777 0xc54e05 walk_non_aliased_vuses(ao_ref*, tree_node*, void* (*)(ao_ref*, tree_node*, unsigned int, void*), void* (*)(ao_ref*, tree_node*, void*, bool*), tree_node* (*)(tree_node*), void*) ../../src/gcc-trunk/gcc/tree-ssa-alias.c:2849 0xd0c189 vn_reference_lookup(tree_node*, tree_node*, vn_lookup_kind, vn_reference_s**, bool) ../../src/gcc-trunk/gcc/tree-ssa-sccvn.c:2448 0xce15ab eliminate_dom_walker::before_dom_children(basic_block_def*) ../../src/gcc-trunk/gcc/tree-ssa-pre.c:4500 0x1244eca dom_walker::walk(basic_block_def*) ../../src/gcc-trunk/gcc/domwalk.c:265 0xce0181 eliminate ../../src/gcc-trunk/gcc/tree-ssa-pre.c:4773 0xce04c4 execute ../../src/gcc-trunk/gcc/tree-ssa-pre.c:5207 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.