[all-commits] [llvm/llvm-project] 123ae4: [flang][openmp] Add General Semantic Checks for Al...

[Irina Dobrescu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 123ae425669e3e06f173958cc686ef6f81e498a8
      https://github.com/llvm/llvm-project/commit/123ae425669e3e06f173958cc686ef6f81e498a8
  Author: Irina Dobrescu <irina.dobrescu at arm.com>
  Date:   2021-04-22 (Thu, 22 Apr 2021)

  Changed paths:
    M flang/include/flang/Parser/parse-tree.h
    M flang/include/flang/Semantics/symbol.h
    M flang/lib/Semantics/check-omp-structure.cpp
    M flang/lib/Semantics/check-omp-structure.h
    M flang/lib/Semantics/resolve-directives.cpp
    A flang/test/Semantics/omp-allocate01.f90
    A flang/test/Semantics/omp-allocate02.f90
    A flang/test/Semantics/omp-allocate03.f90
    A flang/test/Semantics/omp-allocate04.f90
    A flang/test/Semantics/omp-allocate05.f90
    M flang/test/Semantics/omp-parallel-private01.f90
    M flang/test/Semantics/omp-parallel-private02.f90
    M flang/test/Semantics/omp-parallel-private03.f90
    M flang/test/Semantics/omp-parallel-private04.f90
    M flang/test/Semantics/omp-parallel-shared01.f90
    M flang/test/Semantics/omp-parallel-shared02.f90
    M flang/test/Semantics/omp-parallel-shared03.f90
    M flang/test/Semantics/omp-parallel-shared04.f90
    M llvm/include/llvm/Frontend/OpenMP/OMP.td

  Log Message:
  -----------
  [flang][openmp] Add General Semantic Checks for Allocate Directive

This patch adds semantic checks for the General Restrictions of the
Allocate Directive.

Since the requires directive is not yet implemented in Flang, the
restriction:
```
allocate directives that appear in a target region must
specify an allocator clause unless a requires directive with the
dynamic_allocators clause is present in the same compilation unit
```
will need to be updated at a later time.

A different patch will be made with the Fortran specific restrictions of
this directive.

I have used the code from https://reviews.llvm.org/D89395 for the
CheckObjectListStructure function.

Co-authored-by: Isaac Perry <isaac.perry at arm.com>

Reviewed By: clementval, kiranchandramohan

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