[Bug tree-optimization/95916] New: ICE during GIMPLE pass: slp : verify_ssa failed

[Bug tree-optimization/95916] New: ICE during GIMPLE pass: slp : verify_ssa failed

[vsevolod.livinskij at frtk dot ru]

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

            Bug ID: 95916
           Summary: ICE during GIMPLE pass: slp : verify_ssa failed
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vsevolod.livinskij at frtk dot ru
  Target Milestone: ---

Error:
>$ g++ -c -O3 func.cpp
func.cpp: In function ‘void test()’:
func.cpp:5:6: error: definition in block 3 follows the use
    5 | void test() {
      |      ^~~~
for SSA_NAME: var_5.3_5 in statement:
vect__6.8_50 = vect__4.7_58 << var_5.3_5;
during GIMPLE pass: slp
func.cpp:5:6: internal compiler error: verify_ssa failed
0x1339a82 verify_ssa(bool, bool)
        gcc/tree-ssa.c:1208
0x1025705 execute_function_todo
        gcc/passes.c:1992
0x10263de execute_todo
        gcc/passes.c:2039

Reproducer:
extern short var_3, var_8;
extern int var_5;
extern char var_10;
extern int arr_99[][16];
void test() {
  for (; 0 < var_10;)
    for (long a(var_8);; a++)
      arr_99[4][a] = var_3 << var_5;
}

GCC version:
11.0.0 20200625 (77d455ee81ec3a23f8b20259a31ab963716f8e82)

[Bug tree-optimization/95916] ICE during GIMPLE pass: slp : verify_ssa failed

[vsevolod.livinskij at frtk dot ru]

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

--- Comment #1 from Vsevolod Livinskiy <vsevolod.livinskij at frtk dot ru> ---
This bug might be related to bug 95761

[Bug tree-optimization/95916] [11 Regression] ICE during GIMPLE pass: slp : verify_ssa failed

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2020-06-29
   Target Milestone|---                         |11.0
     Ever confirmed|0                           |1
            Summary|ICE during GIMPLE pass: slp |[11 Regression] ICE during
                   |: verify_ssa failed         |GIMPLE pass: slp :
                   |                            |verify_ssa failed

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed, mine.

[Bug tree-optimization/95916] [11 Regression] ICE during GIMPLE pass: slp : verify_ssa failed

[marxin at gcc dot gnu.org]

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

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

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Just for the record, started with r11-1649-gd2adb79eac663874.

[Bug tree-optimization/95916] [11 Regression] ICE during GIMPLE pass: slp : verify_ssa failed

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 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:9a4a52e359ba16a2516a735dca838af512b19336

commit r11-1710-g9a4a52e359ba16a2516a735dca838af512b19336
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Jun 29 13:53:51 2020 +0200

    tree-optimization/95916 - treat scalar ops explicitely

    This explicitely treats the case of scalar operands for SLP
    when computing insert locations.

    2020-06-29  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/95916
            * tree-vect-slp.c (vect_schedule_slp_instance): Explicitely handle
            the case of not vectorized externals.

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

[Bug tree-optimization/95916] [11 Regression] ICE during GIMPLE pass: slp : verify_ssa failed

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug tree-optimization/95916] [11 Regression] ICE during GIMPLE pass: slp : verify_ssa failed

[vsevolod.livinskij at frtk dot ru]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com

Vsevolod Livinskiy <vsevolod.livinskij at frtk dot ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |103035

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 95987 has been marked as a duplicate of this bug. ***


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103035
[Bug 103035] [meta-bug] YARPGen bugs