[all-commits] [llvm/llvm-project] e03200: [flang] Add check for constraints on event-stmts

[Katherine Rasmussen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e03200164be0d7cc2e8514e98548fe309b0829d0
      https://github.com/llvm/llvm-project/commit/e03200164be0d7cc2e8514e98548fe309b0829d0
  Author: Katherine Rasmussen <krasmussen at lbl.gov>
  Date:   2023-05-16 (Tue, 16 May 2023)

  Changed paths:
    M flang/include/flang/Evaluate/tools.h
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Semantics/check-coarray.cpp
    M flang/lib/Semantics/check-coarray.h
    M flang/test/Lower/pre-fir-tree04.f90
    M flang/test/Semantics/critical02.f90
    M flang/test/Semantics/doconcurrent01.f90
    M flang/test/Semantics/event01b.f90
    M flang/test/Semantics/event02b.f90

  Log Message:
  -----------
  [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