[Bug middle-end/80262] address space gets lost in memory access

["stefan at reservoir dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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.