berkeleylab / flang-testing-project Goto Github PK

The image argument in the intrinsic image_status is required by the standard to be a positive integer. The current implementation in the frontend does not perform this check on constant expressions that are passed as actual-arguments. This check should be added.

image_status has already been added to the list of intrinsic functions. However, the new semantics test showed that no error was created if the image arg of image_status was not a positive value, as the section 3 of 16.9.98 in the Fortran 2019 standard states it must be. Add a check for this and an error if it occurs.

Add stopped_images and it's interface to the list of intrinsic functions.

Add coshape and it's interface to the list of intrinsic functions in flang/lib/Evaluate/intrinsics.cpp. Use coshape semantics test submitted by @ngeorge1098 to check the implementation I am adding.

Add co_min and it's interface to the list of intrinsic subroutines. Add co_min to the specific check for coindexed-objects.