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

[Katherine Rasmussen via Phabricator via llvm-commits]

ktras updated this revision to Diff 441183.
ktras edited the summary of this revision.
ktras added a comment.

Move the check and error creation for a non-positive value passed to the `image` argument of `image_status` and the `size` argument of `ishftc` to `ApplySpecificChecks()`. Add a check on the `shift` argument of `ishftc`, ensuring that it is less than or equal to the `size` argument and add to the `ishftc` semantics test.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D128009/new/

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.441183.patch
Type: text/x-patch
Size: 7051 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220629/5bd14533/attachment.bin>