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: gs...@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

Reply via email to