[Bug fortran/109641] Gfortran fails to overload intrinsic operator (*) if operands are complex. It works with real ones.

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

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

--- Comment #17 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Harald Anlauf
<anl...@gcc.gnu.org>:

https://gcc.gnu.org/g:611be07e48956c8b7371eb580eef124990114fd3

commit r13-7353-g611be07e48956c8b7371eb580eef124990114fd3
Author: Harald Anlauf <anl...@gmx.de>
Date:   Fri May 5 21:22:12 2023 +0200

    Fortran: overloading of intrinsic binary operators [PR109641]

    Fortran allows overloading of intrinsic operators also for operands of
    numeric intrinsic types.  The intrinsic operator versions are used
    according to the rules of F2018 table 10.2 and imply type conversion as
    long as the operand ranks are conformable.  Otherwise no type conversion
    shall be performed to allow the resolution of a matching user-defined
    operator.

    gcc/fortran/ChangeLog:

            PR fortran/109641
            * arith.cc (eval_intrinsic): Check conformability of ranks of
operands
            for intrinsic binary operators before performing type conversions.
            * gfortran.h (gfc_op_rank_conformable): Add prototype.
            * resolve.cc (resolve_operator): Check conformability of ranks of
            operands for intrinsic binary operators before performing type
            conversions.
            (gfc_op_rank_conformable): New helper function to compare ranks of
            operands of binary operator.

    gcc/testsuite/ChangeLog:

            PR fortran/109641
            * gfortran.dg/overload_5.f90: New test.

    (cherry picked from commit 185da7c2014ba41f38dd62cc719873ebf020b076)