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

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

[gscfq@t-online.de]

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

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

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.2
   Last reconfirmed|                            |2021-05-19
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
          Component|c                           |target
           Priority|P3                          |P2

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed:

 = VEC_COND_EXPR <D.1948, { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1 }, { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }>;

the LHS is missing.  Target specific folding produces this from the call
when the LHS is absent.

[Bug target/100660] [12 Regression] ICE in visit_assignment, at tree-ssa-ccp.c:2451 since r12-110-gc54a9f7259fce1a2

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11/12 Regression] ICE in   |[12 Regression] ICE in
                   |visit_assignment, at        |visit_assignment, at
                   |tree-ssa-ccp.c:2451         |tree-ssa-ccp.c:2451 since
                   |                            |r12-110-gc54a9f7259fce1a2
                 CC|                            |crazylht at gmail dot com,
                   |                            |marxin at gcc dot gnu.org
   Target Milestone|11.2                        |12.0

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-110-gc54a9f7259fce1a2.

[Bug target/100660] [12 Regression] ICE in visit_assignment, at tree-ssa-ccp.c:2451 since r12-110-gc54a9f7259fce1a2

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by hongtao Liu <liuhongt@gcc.gnu.org>:

https://gcc.gnu.org/g:dc084c487e997e7f47cee55467628ade4488538b

commit r12-1009-gdc084c487e997e7f47cee55467628ade4488538b
Author: liuhongt <hongtao.liu@intel.com>
Date:   Thu May 20 09:59:36 2021 +0800

    Fix ICE when lhs is NULL.

    gcc/ChangeLog:
            PR target/100660
            * config/i386/i386.c (ix86_gimple_fold_builtin): Replacing
            stmt with GIMPLE_NOP when lhs doesn't exist.

    gcc/testsuite/ChangeLog:
            PR target/100660
            * gcc.target/i386/pr100660.c: New test.

[Bug target/100660] [12 Regression] ICE in visit_assignment, at tree-ssa-ccp.c:2451 since r12-110-gc54a9f7259fce1a2

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed.