[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #3 from anlauf at gcc dot gnu.org ---
(In reply to kargl from comment #2)

For some reason the simplification of LEN_TRIM "forgets" that it is an
elemental function:

program p
  print *, len_trim( 'abc'         )  ! OK
  print *, len_trim(['abc']        )  ! OK
  print *, len_trim( 'abc' , kind=8)  ! OK
  print *, len_trim(['abc'], kind=8)  ! ICE
end

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:721d8b9e26bf8205c1f2125c2626919a408cdbe4

commit r12-5473-g721d8b9e26bf8205c1f2125c2626919a408cdbe4
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Nov 23 17:51:38 2021 +0100

    Fortran: fix scalarization for intrinsic LEN_TRIM with present KIND
argument

    gcc/fortran/ChangeLog:

            PR fortran/87711
            PR fortran/87851
            * trans-array.c (arg_evaluated_for_scalarization): Add LEN_TRIM to
            list of intrinsics for which an optional KIND argument needs to be
            removed before scalarization.

    gcc/testsuite/ChangeLog:

            PR fortran/87711
            PR fortran/87851
            * gfortran.dg/len_trim.f90: New test.

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #5 from anlauf at gcc dot gnu.org ---
Fixed.

Thanks for the report!

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:3e6b9910e8e23d690fa1026b2879d37745ddd740

commit r11-9307-g3e6b9910e8e23d690fa1026b2879d37745ddd740
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Nov 23 17:51:38 2021 +0100

    Fortran: fix scalarization for intrinsic LEN_TRIM with present KIND
argument

    gcc/fortran/ChangeLog:

            PR fortran/87711
            PR fortran/87851
            * trans-array.c (arg_evaluated_for_scalarization): Add LEN_TRIM to
            list of intrinsics for which an optional KIND argument needs to be
            removed before scalarization.

    gcc/testsuite/ChangeLog:

            PR fortran/87711
            PR fortran/87851
            * gfortran.dg/len_trim.f90: New test.

    (cherry picked from commit 721d8b9e26bf8205c1f2125c2626919a408cdbe4)

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Mikael Morin <mikael@gcc.gnu.org>:

https://gcc.gnu.org/g:15630e6e9eb019477d1fc5c0966b43979e18ae18

commit r12-6613-g15630e6e9eb019477d1fc5c0966b43979e18ae18
Author: Mikael Morin <mikael@gcc.gnu.org>
Date:   Sun Jan 16 18:33:36 2022 +0100

    testsuite: Enrich tests with variants failing on the branch.

    Backporting the fix for pr103789 on the 11 branch revealed a lack of test
    coverage for the tests provided with that fix.  Indeed, the tests use the
KIND
    argument of the respective intrinsics only with keyword arguments.
    This adds variants with non-keyword arguments.

    The tests enriched this way fail on the branch if the fix is cherry-picked
    straightforwardly.  The fix will have to be tweaked slightly there.

            PR fortran/103789
            PR fortran/87711
            PR fortran/97896

    gcc/testsuite/ChangeLog:

            * gfortran.dg/index_5.f90: Enrich test with usages of INDEX with
            a non-keyword KIND argument.
            * gfortran.dg/len_trim.f90: Same for LEN_TRIM.
            * gfortran.dg/maskl_1.f90: Same for MASKL.
            * gfortran.dg/maskr_1.f90: Same for MASKR.
            * gfortran.dg/scan_3.f90: Same for SCAN.
            * gfortran.dg/verify_3.f90: Same for VERIFY.

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[cvs-commit at gcc dot gnu.org]

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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Mikael Morin
<mikael@gcc.gnu.org>:

https://gcc.gnu.org/g:e63ef9ae51ab67fdd280401e643eb97fddef8d93

commit r11-9467-ge63ef9ae51ab67fdd280401e643eb97fddef8d93
Author: Mikael Morin <mikael@gcc.gnu.org>
Date:   Sun Jan 16 16:26:15 2022 +0100

    Fortran: Fix KIND argument index for LEN_TRIM.

    The mainline code to check whether an argument has to be included in
    scalarization uses only the name of a dummy argument object to recognize a
    specific argument of an intrinsic procedure.  On the 11 branch, the dummy
    argument object is not available and the code uses a mix of check for
    argument name (for keyword arguments) and argument index (for non-keyword
ones).
    This makes backports non-straightforward in this area, as the argument
indexes
    depend on the intrinsics.

    This change fixes a bogus backport for LEN_TRIM, whose KIND argument index
    should be different from that of INDEX.

            PR fortran/87711
            PR fortran/97896

    gcc/fortran/ChangeLog:

            * trans-array.c (arg_evaluated_for_scalarization): Handle keyword
and
            non-keyword arguments separatedly.  Adapt the expected argument
index
            for KIND to each intrinsic in the non-keyword case.

    gcc/testsuite/ChangeLog:

            * gfortran.dg/index_5.f90: Enrich test with usages of INDEX with
            a non-keyword KIND argument.
            * gfortran.dg/len_trim.f90: Same for LEN_TRIM.

    (tests cherry picked from commit 15630e6e9eb019477d1fc5c0966b43979e18ae18)

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[cvs-commit at gcc dot gnu.org]

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

--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Mikael Morin
<mikael@gcc.gnu.org>:

https://gcc.gnu.org/g:024fd4fb5a1ba742242eec84149f159518444ae3

commit r11-9469-g024fd4fb5a1ba742242eec84149f159518444ae3
Author: Mikael Morin <mikael@gcc.gnu.org>
Date:   Sun Jan 16 18:33:36 2022 +0100

    testsuite: Enrich tests with variants failing on the branch.

    Backporting the fix for pr103789 on the 11 branch revealed a lack of test
    coverage for the tests provided with that fix.  Indeed, the tests use the
KIND
    argument of the respective intrinsics only with keyword arguments.
    This adds variants with non-keyword arguments.

    The tests enriched this way fail on the branch if the fix is cherry-picked
    straightforwardly.  The fix will have to be tweaked slightly there.

            PR fortran/103789
            PR fortran/87711
            PR fortran/97896

    gcc/testsuite/ChangeLog:

            * gfortran.dg/maskl_1.f90: Enrich test with usages of MASKL with
            a non-keyword KIND argument.
            * gfortran.dg/maskr_1.f90: Same for MASKR.
            * gfortran.dg/scan_3.f90: Same for SCAN.
            * gfortran.dg/verify_3.f90: Same for VERIFY.

    (cherry picked from commit 15630e6e9eb019477d1fc5c0966b43979e18ae18)

[Bug fortran/87711] ICE in gfc_trans_transfer, at fortran/trans-io.c:2676

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87711
Bug 87711 depends on bug 87851, which changed state.

Bug 87851 Summary: [10 Regression] Wrong return type for len_trim
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87851

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |FIXED