[Bug tree-optimization/97835] New: [11 Regression] ICE: verify_gimple failed (error: incorrect type of vector CONSTRUCTOR elements)

[Bug tree-optimization/97835] New: [11 Regression] ICE: verify_gimple failed (error: incorrect type of vector CONSTRUCTOR elements)

[asolokha at gmx dot com]

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

            Bug ID: 97835
           Summary: [11 Regression] ICE: verify_gimple failed (error:
                    incorrect type of vector CONSTRUCTOR elements)
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-11.0.0-alpha20201108 snapshot (g:b642fca1c31b2e2175e0860daf32b4ee0d918085)
ICEs when compiling the following testcase w/ -O3:

struct co {
  int gx;
  int ty;
};

void
x0 (struct co *yy, long int kc, int wi, int md)
{
  while (wi < 1)
    {
      yy[wi].gx = md;
      yy[wi].ty = wi;
      md += kc;
      ++wi;
    }
}

% gcc-11.0.0 -O3 -c wqrlepsw.c
wqrlepsw.c: In function 'x0':
wqrlepsw.c:7:1: error: incorrect type of vector CONSTRUCTOR elements
    7 | x0 (struct co *yy, long int kc, int wi, int md)
      | ^~
{_28, 1, _28, 1}

_52 = {_28, 1, _28, 1};
during GIMPLE pass: vect
wqrlepsw.c:7:1: internal compiler error: verify_gimple failed
0xe13ee2 verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/tree-cfg.c:5461
0xcea557 execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/passes.c:2039
0xceafbe execute_todo
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201108/work/gcc-11-20201108/gcc/passes.c:2093

[Bug tree-optimization/97835] [11 Regression] ICE: verify_gimple failed (error: incorrect type of vector CONSTRUCTOR elements)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
   Last reconfirmed|                            |2020-11-16
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|---                         |11.0
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a looksee.

[Bug tree-optimization/97835] [11 Regression] ICE: verify_gimple failed (error: incorrect type of vector CONSTRUCTOR elements)

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
For completeness, started with r11-4614-ge881774d0dda6d51.

[Bug tree-optimization/97835] [11 Regression] ICE: verify_gimple failed (error: incorrect type of vector CONSTRUCTOR elements)

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r11-5048-gd12603b746986554981f5ee220926a36a6cb6baf
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Nov 16 09:06:41 2020 +0100

    tree-optimization/97835 - fix step vector construction for SLP induction

    We're stripping conversions off access functions of inductions and
    thus the step can be of different sign.  Fix bogus step CTORs by
    converting the elements rather than the whole vector.

    2020-11-16  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/97835
            * tree-vect-loop.c (vectorizable_induction): Convert step
            scalars rather than step vector.

            * gcc.dg/vect/pr97835.c: New testcase.

[Bug tree-optimization/97835] [11 Regression] ICE: verify_gimple failed (error: incorrect type of vector CONSTRUCTOR elements)

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.