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

            Bug ID: 81052
           Summary: ICE in verify_dominators, at dominance.c:1184
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ryan.burn at gmail dot com
  Target Milestone: ---

Created attachment 41535
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41535&action=edit
preprocessed code

Using gcc:
g++ (GCC) 8.0.0 20170610 (experimental)
Copyright (C) 2017 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Running
g++ -std=c++1z -fconcepts -fopenmp-simd ice.cpp
with the attached file produces this ICE:

/Users/rnickb/proj/satyr/include/satyr/serial_for.h:40:6: error: dominator of
10 should be 11, not 2
 bool for_with_cancel(Policy policy, index_t first, index_t last, F f) {
      ^~~~~~~~~~~~~~~
during GIMPLE pass: ompexp
/Users/rnickb/proj/satyr/include/satyr/serial_for.h:40:6: internal compiler
error: in verify_dominators, at dominance.c:1184

during GIMPLE pass: ompexp
/Users/rnickb/proj/satyr/include/satyr/serial_for.h:40:6: internal compiler
error: Abort trap: 6
g++: internal compiler error: Abort trap: 6 (program cc1plus)
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.

Reply via email to