[flang] Add check for constraints on event-stmts
authorKatherine Rasmussen <krasmussen@lbl.gov>
Tue, 16 May 2023 19:09:48 +0000 (12:09 -0700)
committerKatherine Rasmussen <krasmussen@lbl.gov>
Tue, 16 May 2023 19:09:48 +0000 (12:09 -0700)
commite03200164be0d7cc2e8514e98548fe309b0829d0
treea789be2d52b36024892f3632a12e575b865db930
parent49007a020c14a48062fac34c5c83c907d6ae1c31
[flang] Add check for constraints on event-stmts

In the CoarrayChecker, add checks for the constraints C1177 and
C1178 for event-wait-stmt. Add event-post-stmt to the check
for the constraints for sync-stat-list. Add a check for the
constraint C1176 on event-variable.

Reviewed By: PeteSteinfeld

Differential Revision: https://reviews.llvm.org/D137204
flang/include/flang/Evaluate/tools.h
flang/lib/Evaluate/tools.cpp
flang/lib/Semantics/check-coarray.cpp
flang/lib/Semantics/check-coarray.h
flang/test/Lower/pre-fir-tree04.f90
flang/test/Semantics/critical02.f90
flang/test/Semantics/doconcurrent01.f90
flang/test/Semantics/event01b.f90
flang/test/Semantics/event02b.f90