[gcc r12-827] OpenMP/Fortran: Reject nonintrinsic assignments in OMP WORKSHARE [PR100633]

[gcc r12-827] OpenMP/Fortran: Reject nonintrinsic assignments in OMP WORKSHARE [PR100633]

[Tobias Burnus]

https://gcc.gnu.org/g:582776eb1b62c32f5234566a01ea92247b7d6bcc

commit r12-827-g582776eb1b62c32f5234566a01ea92247b7d6bcc
Author: Tobias Burnus <tobias@codesourcery.com>
Date:   Mon May 17 13:20:27 2021 +0200

    OpenMP/Fortran: Reject nonintrinsic assignments in OMP WORKSHARE [PR100633]
    
            PR fortran/100633
    
    gcc/fortran/ChangeLog:
    
            * resolve.c (gfc_resolve_code): Reject nonintrinsic assignments in
            OMP WORKSHARE.
    
    gcc/testsuite/ChangeLog:
    
            * gfortran.dg/gomp/workshare-59.f90: New test.

Diff:
---
 gcc/fortran/resolve.c                           |  6 ++++++
 gcc/testsuite/gfortran.dg/gomp/workshare-59.f90 | 26 +++++++++++++++++++++++++
 2 files changed, 32 insertions(+)

diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index c02bbed8739..747516fbc1d 100644
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -11940,6 +11940,12 @@ start:
 
 	  if (resolve_ordinary_assign (code, ns))
 	    {
+	      if (omp_workshare_flag)
+		{
+		  gfc_error ("Expected intrinsic assignment in OMP WORKSHARE "
+			     "at %L", &code->loc);
+		  break;
+		}
 	      if (code->op == EXEC_COMPCALL)
 		goto compcall;
 	      else
diff --git a/gcc/testsuite/gfortran.dg/gomp/workshare-59.f90 b/gcc/testsuite/gfortran.dg/gomp/workshare-59.f90
new file mode 100644
index 00000000000..65d04c2b55d
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/gomp/workshare-59.f90
@@ -0,0 +1,26 @@
+! PR fortran/100633
+
+module defined_assign
+  interface assignment(=)
+    module procedure work_assign
+  end interface
+
+  contains
+    subroutine work_assign(a,b)
+      integer, intent(out) :: a
+      logical, intent(in) :: b(:)
+    end subroutine work_assign
+end module defined_assign
+
+program omp_workshare
+  use defined_assign
+
+  integer :: a
+  logical :: l(10)
+  l = .TRUE.
+
+  !$omp workshare
+  a = l   ! { dg-error "Expected intrinsic assignment in OMP WORKSHARE" }
+  !$omp end workshare
+
+end program omp_workshare