[Bug tree-optimization/95284] New: ICE: verify_gimple failed

[Bug tree-optimization/95284] New: ICE: verify_gimple failed

[vsevolod.livinskij at frtk dot ru]

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

            Bug ID: 95284
           Summary: ICE: verify_gimple 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: ---

Reproducer:
#include <algorithm>

short a;
unsigned long long c;
char d;
unsigned e;

void f() {
  for (;;)
    for (char b = 0; b < 19; b += 2)
      a = std::min((1 ? d : 0) ? e : c, (unsigned long long)72252803048);
}

Error:
>$ g++ -O3 func.cpp -c
func.cpp: In function ‘void f()’:
func.cpp:8:6: error: invalid ‘PHI’ argument
    8 | void f() {
      |      ^
{CLOBBER}
_26 = PHI <72252803048(8), {CLOBBER}(5)>
during GIMPLE pass: sink
func.cpp:8:6: internal compiler error: verify_gimple failed
0x113fc71 verify_gimple_in_cfg(function*, bool)
        gcc_src/gcc/tree-cfg.c:5461
0x10132af execute_function_todo
        gcc_src/gcc/passes.c:1985
0x101408e execute_todo
        gcc_src/gcc/passes.c:2039

GCC version:
11.0.0 (bcb63eb2cbd3caf212b9cf42d8c218c09dc6ff8b)

[Bug tree-optimization/95284] ICE: verify_gimple failed

[rguenth at gcc dot gnu.org]

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

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
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-05-25

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

[Bug tree-optimization/95284] ICE: verify_gimple failed

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:f73f8bab9f2474f175cc5ca5ba8ebb32808a4cae

commit r11-605-gf73f8bab9f2474f175cc5ca5ba8ebb32808a4cae
Author: Richard Biener <rguenther@suse.de>
Date:   Mon May 25 09:17:51 2020 +0200

    tree-optimization/95284 - amend previous store commoning fix

    Generalize check for clobbers.

    2020-05-25  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/95284
            * tree-ssa-sink.c (sink_common_stores_to_bb): Amend previous
            fix.

            * g++.dg/torture/pr95284.C: New testcase.

[Bug tree-optimization/95284] ICE: verify_gimple failed

[rguenth at gcc dot gnu.org]

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

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

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

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