This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/81052] ICE in verify_dominators, at dominance.c:1184
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 02 Aug 2017 10:25:28 +0000
- Subject: [Bug middle-end/81052] ICE in verify_dominators, at dominance.c:1184
- Auto-submitted: auto-generated
- References: <bug-81052-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81052
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Alexander Monakov from comment #7)
> As an aside, shouldn't we issue a diagnostic here? OpenMP spec says
> branching in/out of simd regions is not allowed, and I think we already
> diagnose invalid branching for some other constructs.
Well, normally we certainly diagnose that:
template <int N>
int
foo (int x, int y)
{
int i;
#pragma omp simd
for (i = x; i < y; ++i)
return 0;
return 1;
}
I'll see what's going on.