[all-commits] [llvm/llvm-project] 1c4c9e: [flang][OpenMP] Added semantic checks for atomic c...

[NimishMishra via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1c4c9e8e702956f22dc29f11fec4fd7f6a0ce816
      https://github.com/llvm/llvm-project/commit/1c4c9e8e702956f22dc29f11fec4fd7f6a0ce816
  Author: Nimish Mishra <neelam.nimish at gmail.com>
  Date:   2023-08-27 (Sun, 27 Aug 2023)

  Changed paths:
    M flang/lib/Semantics/check-omp-structure.cpp
    M flang/lib/Semantics/check-omp-structure.h
    M flang/test/Semantics/OpenMP/atomic-hint-clause.f90
    M flang/test/Semantics/OpenMP/atomic02.f90
    M flang/test/Semantics/OpenMP/atomic04.f90
    A flang/test/Semantics/OpenMP/omp-atomic-assignment-stmt.f90

  Log Message:
  -----------
  [flang][OpenMP] Added semantic checks for atomic capture, write, and update statements

This patch adds general checks for atomic read, write, and capture statements.

-check "capture statement is of the form v = x if atomic construct is read"
-check "write statement is of the form x = expr if atomic construct is write"
-check "x must not have the ALLOCATABLE attribute."
-check for non-scalar variables
-check if x (LHS variable) is accessed on the RHS of assignment statement
-improve error reporting in atomic update statemen

Reviewed By: TIFitis, raghavendhra

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