[Bug middle-end/81052] ICE in verify_dominators, at dominance.c:1184

["marxin at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amonakov at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org,
                   |                            |tschwinge at gcc dot gnu.org

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Can please someone who is familiar with omplow code take a look?
The function is quite small:

template < db< 1 > cz > bool dc(bi, bl dd, bl de, cz) {
  bl i;
#pragma omp simd
  for (i = dd; i < de; ++i)
    return false;
  return true;
}