[Bug fortran/120843] [15/16-Regression, Coarray] Inconsistent ranks for operator reported when coarray ranks differ

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120843

--- Comment #12 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-15 branch has been updated by Andre Vehreschild
<ve...@gcc.gnu.org>:

https://gcc.gnu.org/g:120efb3931260de35173267ec6870d8f17fbadb5

commit r15-9945-g120efb3931260de35173267ec6870d8f17fbadb5
Author: Andre Vehreschild <ve...@gcc.gnu.org>
Date:   Wed Jul 2 11:06:17 2025 +0200

    Fortran: Remove corank conformability checks [PR120843]

    Remove the checks on coranks conformability in expressions,
    because there is nothing in the standard about it.  When a coarray
    has no coindexes it it treated like a non-coarray, when it has
    a full-corank coindex its result is a regular array.  So nothing
    to check for corank conformability.

            PR fortran/120843

    gcc/fortran/ChangeLog:

            * resolve.cc (resolve_operator): Remove conformability check,
            because it is not in the standard.

    gcc/testsuite/ChangeLog:

            * gfortran.dg/coarray/coindexed_6.f90: Enhance test to have
            coarray components covered.

    (cherry picked from commit 15413e05eb9cde976b8890cd9b597d0a41a8eb27)