[Bug c/100660] New: [11/12 Regression] ICE in visit_assignment, at tree-ssa-ccp.c:2451

["gscfq@t-online.de" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 100660
           Summary: [11/12 Regression] ICE in visit_assignment, at
                    tree-ssa-ccp.c:2451
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Changed between 20210418 and 20210425.
Testcase derived from gcc.target/i386/pr98911.c
with modification s/return// :


$ cat z1.c
typedef char v16qi __attribute__ ((vector_size (16)));

v16qi
f5 (v16qi a, v16qi b)
{
  __builtin_ia32_pcmpgtb128 (a, b);
}


$ gcc-12-20210516 -c z1.c -O2
during GIMPLE pass: ccp
z1.c: In function 'f5':
z1.c:7:1: internal compiler error: Segmentation fault
    7 | }
      | ^
0xb68d3f crash_signal
        ../../gcc/toplev.c:327
0xc4d033 visit_assignment
        ../../gcc/tree-ssa-ccp.c:2451
0xcd2003 ssa_propagation_engine::simulate_stmt(gimple*)
        ../../gcc/tree-ssa-propagate.c:230
0xcd227a ssa_propagation_engine::simulate_block(basic_block_def*)
        ../../gcc/tree-ssa-propagate.c:337
0xcd2782 ssa_propagation_engine::ssa_propagate()
        ../../gcc/tree-ssa-propagate.c:504
0xc454b7 do_ssa_ccp
        ../../gcc/tree-ssa-ccp.c:2574
0xc454b7 execute
        ../../gcc/tree-ssa-ccp.c:2618

---

during GIMPLE pass: lower
z1.c: In function 'f5':
z1.c:4:1: internal compiler error: Segmentation fault
    4 | f5 (v16qi a, v16qi b)
      | ^~
0xd46ddf crash_signal
        ../../gcc/toplev.c:327
0xd8b9a5 contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
        ../../gcc/tree.h:3469
0xd8b9a5 verify_gimple_assign_ternary
        ../../gcc/tree-cfg.c:4191
0xd8b9a5 verify_gimple_assign
        ../../gcc/tree-cfg.c:4701
0xd8b9a5 verify_gimple_stmt
        ../../gcc/tree-cfg.c:4957
0xd8d5af verify_gimple_in_seq_2
        ../../gcc/tree-cfg.c:5119
0xd91fa1 verify_gimple_in_seq(gimple*)
        ../../gcc/tree-cfg.c:5158
0xc4fdaa execute_function_todo
        ../../gcc/passes.c:2044
0xc50af2 execute_todo
        ../../gcc/passes.c:2096