[all-commits] [llvm/llvm-project] aae7eb: [Flang][Openmp] Fortran specific semantic checks f...

[IPerryArm via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aae7eb809e41d9e1e95175a017ca0fdccc87dedd
      https://github.com/llvm/llvm-project/commit/aae7eb809e41d9e1e95175a017ca0fdccc87dedd
  Author: Isaac Perry <isaac.perry at arm.com>
  Date:   2021-05-27 (Thu, 27 May 2021)

  Changed paths:
    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-allocate06.f90
    A flang/test/Semantics/omp-allocate07.f90

  Log Message:
  -----------
  [Flang][Openmp] Fortran specific semantic checks for Allocate directive

This patch adds the following Fortran specific semantic checks for the OpenMP
Allocate directive.
1) A type parameter inquiry cannot appear in an ALLOCATE directive.
2) List items specified in the ALLOCATE directive must not have the ALLOCATABLE
attribute unless the directive is associated with an ALLOCATE statement.

Co-authored-by: Irina Dobrescu <irina.dobrescu at arm.com>

Reviewed By: kiranchandramohan

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