[PATCH] D102061: [flang] [openmp] Add Fortran specific semantic checks for OpenMP Allocate directive.

[Isaac Perry via Phabricator via llvm-commits]

I_Perry created this revision.
Herald added subscribers: guansong, yaxunl.
Herald added a reviewer: sscalpone.
I_Perry requested review of this revision.
Herald added a reviewer: jdoerfert.
Herald added subscribers: llvm-commits, sstefan1.
Herald added a project: LLVM.

This patch adds Fortran specific semantic checks for the OpenMP allocate
directive.

Due to an issue in the parser (described in https://reviews.llvm.org/D93549/new/)
the checks: "List items specified in an allocate directive that is
associated with an allocate statement must be variables that are allocated
by the allocate statement" and "Multiple directives can only be associated
with an allocate statement if list items are specified on each allocate directive"
cannot be implemented yet.

I have used code written as part of https://reviews.llvm.org/D93549/new/
as a basis for the implementations of these checks.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D102061

Files:
  flang/include/flang/Semantics/symbol.h
  flang/lib/Semantics/check-omp-structure.cpp
  flang/lib/Semantics/check-omp-structure.h
  flang/lib/Semantics/resolve-directives.cpp
  flang/test/Semantics/omp-allocate06.f90
  flang/test/Semantics/omp-allocate07.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D102061.343639.patch
Type: text/x-patch
Size: 7851 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210507/285ebc78/attachment.bin>