[flang-commits] [PATCH] D128009: [flang] Add semantics test for image_status and add a check

[Katherine Rasmussen via Phabricator via flang-commits]

ktras created this revision.
ktras added reviewers: klausler, PeteSteinfeld, jeanPerier, pmccormick, rouson, ngeorge1098, sscalpone, craig.rasmussen.
ktras added projects: Flang, LLVM.
Herald added a subscriber: jdoerfert.
Herald added a project: All.
ktras requested review of this revision.

Add a semantics test for the intrinsic function `image_status`. Add
a check and restriction on the `image` argument in `image_status`.
This check ensures that the `image` argument is a positive integer,
if the actual argument is a constant expression. The `size` argument
to the intrinsic `ishftc` is also required to be a positive integer,
so this check has also been added to that argument. A short
semantics test checking this restriction to the `size` argument
of `ishftc` has also been added.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D128009

Files:
  flang/lib/Evaluate/intrinsics.cpp
  flang/test/Semantics/image_status.f90
  flang/test/Semantics/ishftc.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D128009.437710.patch
Type: text/x-patch
Size: 7198 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20220616/c4962709/attachment.bin>