[Bug tree-optimization/92461] New: [10 Regression] ICE: verify_ssa failed (error: excess use operand for statement)

[asolokha at gmx dot com]

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

            Bug ID: 92461
           Summary: [10 Regression] ICE: verify_ssa failed (error: excess
                    use operand for statement)
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
                CC: avieira at gcc dot gnu.org
  Target Milestone: ---
            Target: x86_64-unknown-linux-gnu

gcc-10.0.0-alpha20191103 snapshot (r277758) ICEs when compiling the following
testcase w/ -O1 -ftree-loop-vectorize:

short int zb;

void
gs (void)
{
  while (zb < 1)
    {
      int at;

      zb %= 1;

      for (at = 0; at < 56; ++at)
        zb += zb;

      ++zb;
    }
}

% x86_64-unknown-linux-gnu-gcc-10.0.0-alpha20191103 -O1 -ftree-loop-vectorize
-c klumnm2e.c
klumnm2e.c: In function 'gs':
klumnm2e.c:4:1: error: excess use operand for statement
    4 | gs (void)
      | ^~
0
_7 = 0 + 1;
during GIMPLE pass: vect
klumnm2e.c:4:1: internal compiler error: verify_ssa failed
0xe4094c verify_ssa(bool, bool)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-ssa.c:1208
0xbab70c execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/passes.c:1990
0xbac460 do_per_function
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/passes.c:1638
0xbac460 execute_todo
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/passes.c:2037

(This was originally reported in PR92347 comment 2.)