[Bug c/115103] New: No diagnostics for grainsize used together with num_tasks clause or for fortran for nogroup with reduction

[jakub at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 115103
           Summary: No diagnostics for grainsize used together with
                    num_tasks clause or for fortran for nogroup with
                    reduction
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

While working on loop transformations, I've noticed we don't diagnose in C/C++
void
foo (void)
{
  #pragma omp taskloop grainsize(2) num_tasks(2)
  for (int i = 0; i < 32; ++i)
    ;
}
or in Fortran
  integer :: i
!$omp taskloop grainsize(2) num_tasks(2)
  do i = 1, 32
  end do
end
or
  integer :: i, r
  r = 0
!$omp taskloop nogroup reduction(+:r)
  do i = 1, 32
  end do
end
which are all invalid e.g. in OpenMP 4.5 or later due to mutually exclusive
clauses.