caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[flang] Check coranks on MOVE_ALLOC (#129944)

Browse Source 
The FROM= and TO= arguments in a reference to the MOVE_ALLOC intrinsic
subroutine must have the same corank.
This commit is contained in:
Peter Klausler
2025-03-10 13:18:23 -07:00
committed by GitHub
parent d53079055e
commit f6fc29d331
2 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
flang/lib/Semantics/check-call.cpp
View File

@@ -1840,6 +1840,13 @@ static void CheckMove_Alloc(evaluate::ActualArguments &arguments,
if (arguments.size() >= 2) {
evaluate::CheckForCoindexedObject(
messages, arguments[1], "move_alloc", "to");
int fromCR{GetCorank(arguments[0])};
int toCR{GetCorank(arguments[1])};
if (fromCR != toCR) {
messages.Say(*arguments[0]->sourceLocation(),
"FROM= argument to MOVE_ALLOC has corank %d, but TO= argument has corank %d"_err_en_US,
fromCR, toCR);
}
}
if (arguments.size() >= 3) {
evaluate::CheckForCoindexedObject(

5
flang/test/Semantics/move_alloc.f90
View File

@@ -1,7 +1,7 @@
! RUN: %python %S/test_errors.py %s %flang_fc1
! Check for semantic errors in move_alloc() subroutine calls
program main
integer, allocatable :: a(:)[:], b(:)[:], f(:), g(:)
integer, allocatable :: a(:)[:], b(:)[:], f(:), g(:), h(:)[:,:]
type alloc_component
integer, allocatable :: a(:)
end type
@@ -73,4 +73,7 @@ program main
!ERROR: Argument #2 to MOVE_ALLOC must be allocatable
call move_alloc(f, g(::2))
!ERROR: FROM= argument to MOVE_ALLOC has corank 1, but TO= argument has corank 2
call move_alloc(a, h)
end program main