[Bug c/97898] New: ICE in outermost_invariant_loop, at tree-ssa-loop-im.c:431

[Bug c/97898] New: ICE in outermost_invariant_loop, at tree-ssa-loop-im.c:431

[gscfq@t-online.de]

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

            Bug ID: 97898
           Summary: ICE in outermost_invariant_loop, at
                    tree-ssa-loop-im.c:431
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Affects versions down to at least version r5 :


$ cat z1.c
void f (int n)
{
  int *i;
#pragma omp for schedule(static, 2)
  for (i = 0; i < 8; i += n);
}


$ gcc-11-20201115 -c z1.c -fopenmp -O2
z1.c: In function 'f':
z1.c:5:17: warning: comparison between pointer and integer
    5 |   for (i = 0; i < 8; i += n);
      |                 ^
during GIMPLE pass: lim
z1.c:1:6: internal compiler error: in outermost_invariant_loop, at
tree-ssa-loop-im.c:431
    1 | void f (int n)
      |      ^
0xc43b12 outermost_invariant_loop
        ../../gcc/tree-ssa-loop-im.c:431
0xc48551 compute_invariantness
        ../../gcc/tree-ssa-loop-im.c:1063
0xc48551 loop_invariant_motion_in_fun(function*, bool)
        ../../gcc/tree-ssa-loop-im.c:3114
0xc49e2a execute
        ../../gcc/tree-ssa-loop-im.c:3180

---

$ gcc-11-20201115 -c z1.c -fopenmp   # configured with --enable-checking=yes
z1.c: In function 'f':
z1.c:5:17: warning: comparison between pointer and integer
    5 |   for (i = 0; i < 8; i += n);
      |                 ^
z1.c:5:24: error: invalid operands in binary operation
    5 |   for (i = 0; i < 8; i += n);
      |                        ^~
i = i + (sizetype) D.2082;
during GIMPLE pass: ompexp
z1.c:5:24: internal compiler error: verify_gimple failed
0xd61194 verify_gimple_in_cfg(function*, bool)
        ../../gcc/tree-cfg.c:5461
0xc1742e execute_function_todo
        ../../gcc/passes.c:2039
0xc182d2 execute_todo
        ../../gcc/passes.c:2093

[Bug middle-end/97898] ICE in outermost_invariant_loop, at tree-ssa-loop-im.c:431

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |middle-end
                 CC|                            |jakub at gcc dot gnu.org
           Keywords|                            |openmp

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
note you can use -fchecking even with not checking enabled builds to get IL
verification.

So this is a OMP expansion issue.

[Bug middle-end/97898] ICE in outermost_invariant_loop, at tree-ssa-loop-im.c:431

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-11-19

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
At least as old as GCC 4.8.0.