[PATCH] D79798: [flang] Constraint checks C751 to C760

[Pete Steinfeld via Phabricator via llvm-commits]

PeteSteinfeld created this revision.
PeteSteinfeld added reviewers: tskeith, klausler.
Herald added a reviewer: DavidTruby.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Many of these were already implemented, and I just annotated the tests and/or
the code.

C752 was a simple check to verify that CONTIGUOUS components are arrays with

C754 proved to be virtually identical to C750 that I implemented previously.
This caused me to remove the distinction between specification expressions for
type parameters and bounds expressions that I'd previously created.
the POINTER attribute.

C756 checks that procedure components have the POINTER attribute.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D79798

Files:
  flang/include/flang/Evaluate/check-expression.h
  flang/lib/Evaluate/check-expression.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/lib/Semantics/resolve-names.cpp
  flang/test/Semantics/assign02.f90
  flang/test/Semantics/resolve31.f90
  flang/test/Semantics/resolve33.f90
  flang/test/Semantics/resolve52.f90
  flang/test/Semantics/resolve79.f90
  flang/test/Semantics/resolve89.f90
  flang/test/Semantics/resolve90.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D79798.263486.patch
Type: text/x-patch
Size: 20232 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200512/1da73bf9/attachment.bin>