[Bug c++/90484] New: [9/10 Regression] ICE in equal_mem_array_ref_p at gcc/tree-ssa-scopedtables.c:550 since r270433 on i586

[marxin at gcc dot gnu.org]

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

            Bug ID: 90484
           Summary: [9/10 Regression] ICE in equal_mem_array_ref_p at
                    gcc/tree-ssa-scopedtables.c:550 since r270433 on i586
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

I see the problem in webkit2gtk3 package only on i586.

$ ./xg++ -B. -Wextra -Wall    -fno-strict-aliasing -fno-exceptions -fno-rtti
-std=c++14 -O2     /tmp/webkit.ii  -fchecking -c
(a lot of warnings)

0x8cbc57f equal_mem_array_ref_p
        /home/marxin/Programming/gcc/gcc/tree-ssa-scopedtables.c:550
0x8cbc57f hashable_expr_equal_p
        /home/marxin/Programming/gcc/gcc/tree-ssa-scopedtables.c:587
0x8cbc57f expr_elt_hasher::equal(expr_hash_elt* const&, expr_hash_elt* const&)
        /home/marxin/Programming/gcc/gcc/tree-ssa-scopedtables.c:1046
0x8cbda42 hash_table<expr_elt_hasher, false,
xcallocator>::find_slot_with_hash(expr_hash_elt* const&, unsigned int,
insert_option)
        /home/marxin/Programming/gcc/gcc/hash-table.h:952
0x8cbd452 hash_table<expr_elt_hasher, false,
xcallocator>::find_slot(expr_hash_elt* const&, insert_option)
        /home/marxin/Programming/gcc/gcc/hash-table.h:423
0x8cbd452 avail_exprs_stack::lookup_avail_expr(gimple*, bool, bool)
        /home/marxin/Programming/gcc/gcc/tree-ssa-scopedtables.c:262
0x8c19f28 simplify_stmt_for_jump_threading
        /home/marxin/Programming/gcc/gcc/tree-ssa-dom.c:881
0x8cea251 record_temporary_equivalences_from_stmts_at_dest
        /home/marxin/Programming/gcc/gcc/tree-ssa-threadedge.c:393
0x8cea781 thread_through_normal_block
        /home/marxin/Programming/gcc/gcc/tree-ssa-threadedge.c:1061
0x8ceba87 thread_across_edge
        /home/marxin/Programming/gcc/gcc/tree-ssa-threadedge.c:1311
0x8cec1f1 thread_outgoing_edges(basic_block_def*, gcond*, const_and_copies*,
avail_exprs_stack*, evrp_range_analyzer*, tree_node* (*)(gimple*, gimple*,
avail_exprs_stack*, basic_block_def*))
        /home/marxin/Programming/gcc/gcc/tree-ssa-threadedge.c:1377
0x8c1985d dom_opt_dom_walker::after_dom_children(basic_block_def*)
        /home/marxin/Programming/gcc/gcc/tree-ssa-dom.c:1544
0x92cc16f dom_walker::walk(basic_block_def*)
        /home/marxin/Programming/gcc/gcc/domwalk.c:354
0x8c1bcda execute
        /home/marxin/Programming/gcc/gcc/tree-ssa-dom.c:724

I can't reduce the test-case. Link to test-case:
https://drive.google.com/file/d/1PHnnHMe1k7FoKYXkz61k9IUskTScg4PN/view?usp=sharing