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.