[all-commits] [llvm/llvm-project] f770b1: [flang] Add check for constraints on synchronizati...

[Katherine Rasmussen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f770b1e9544967ce31b3c7eea3cfa87c00936ad2
      https://github.com/llvm/llvm-project/commit/f770b1e9544967ce31b3c7eea3cfa87c00936ad2
  Author: Katherine Rasmussen <krasmussen at lbl.gov>
  Date:   2022-10-25 (Tue, 25 Oct 2022)

  Changed paths:
    M flang/lib/Semantics/check-coarray.cpp
    M flang/lib/Semantics/check-coarray.h
    M flang/test/Semantics/synchronization01b.f90
    M flang/test/Semantics/synchronization02b.f90
    M flang/test/Semantics/synchronization03b.f90
    M flang/test/Semantics/synchronization04b.f90

  Log Message:
  -----------
  [flang] Add check for constraints on synchronization-stmts

In the CoarrayChecker, add checks for the constraints C1172 and
C1173, which constrain sync-stat-list. Add these checks to
sync-all-stmt, sync-images-stmt, sync-memory-stmt, and
sync-team-stmt. Also add a check for the constraint C1174 in
sync-images-stmt. Update semantics tests for these stmts.

Reviewed By: klausler

Differential Revision: https://reviews.llvm.org/D136104