[Bug fortran/100283] New: Call to MIN0 with integer(8) arguments raises an ICE

[Bug fortran/100283] New: Call to MIN0 with integer(8) arguments raises an ICE

[bardeau at iram dot fr]

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

            Bug ID: 100283
           Summary: Call to MIN0 with integer(8) arguments raises an ICE
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bardeau at iram dot fr
  Target Milestone: ---

Calling the legacy MIN0 function with integer(8) arguments is probably not in
the F77 standard, might be a GNU extension. It used to be accepted with
gfortran 10 and older.

~/tmp> cat gfortran11.f90 
subroutine smo002()
  integer(kind=8) :: i,j,k
  i = min0(j,k)
end subroutine smo002
~/tmp> gfortran -c gfortran11.f90
during RTL pass: expand
gfortran11.f90:3:15:

    3 |   i = min0(j,k)
      |               ^
internal compiler error: in expand_fix, at optabs.c:5532
0x5f3805 expand_fix(rtx_def*, rtx_def*, int)
        ../../srcdir/gcc/optabs.c:5532
0x8f78bf expand_expr_real_2(separate_ops*, rtx_def*, machine_mode,
expand_modifier)
        ../../srcdir/gcc/expr.c:9304
0x7f8fc5 expand_gimple_stmt_1
        ../../srcdir/gcc/cfgexpand.c:3947
0x7f8fc5 expand_gimple_stmt
        ../../srcdir/gcc/cfgexpand.c:4008
0x7ff03a expand_gimple_basic_block
        ../../srcdir/gcc/cfgexpand.c:6045
0x7ff03a execute
        ../../srcdir/gcc/cfgexpand.c:6729
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
~/tmp> gfortran -v
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/home/bardeau/Softs/gcc-11.0.1/bin/../libexec/gcc/x86_64-pc-linux-gnu/11.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../srcdir/configure --with-gmp=/home/bardeau/Softs/gcc-deps
--prefix=/home/bardeau/Softs/gcc-11.0.1 --enable-languages=c,c++,fortran
--disable-multilib
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 11.0.1 20210426 (prerelease) (GCC)

[Bug fortran/100283] [11/12 Regression] Call to MIN0 with integer(8) arguments raises an ICE

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |11.1.0, 12.0
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|                            |2021-04-28
                 CC|                            |anlauf at gcc dot gnu.org
            Summary|Call to MIN0 with           |[11/12 Regression] Call to
                   |integer(8) arguments raises |MIN0 with integer(8)
                   |an ICE                      |arguments raises an ICE
     Ever confirmed|0                           |1
           Priority|P3                          |P4
            Version|11.0                        |11.1.1
      Known to work|                            |10.3.1
   Target Milestone|---                         |11.2

--- Comment #1 from anlauf at gcc dot gnu.org ---
Confirmed.

gcc-10 gives:

% gfc-10 -c pr100283.f90 -std=f2018
pr100283.f90:3:11:

    3 |   i = min0(j,k)
      |           1
Error: GNU Extension: Different type kinds at (1)

[Bug fortran/100283] [11/12 Regression] Call to MIN0 with integer(8) arguments raises an ICE

[anlauf at gcc dot gnu.org]

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

--- Comment #2 from anlauf at gcc dot gnu.org ---
The testcase is accepted with -fdefault-integer-8.

[Bug fortran/100283] [11/12 Regression] Call to MIN0 with integer(8) arguments raises an ICE

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 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:6fc543396345900f460c9fa7121239cb1ebbc3a3

commit r12-1650-g6fc543396345900f460c9fa7121239cb1ebbc3a3
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Fri Jun 18 19:34:15 2021 +0200

    Fortran - fix conversion to result type for the min/max intrinsic

    gcc/fortran/ChangeLog:

            PR fortran/100283
            PR fortran/101123
            * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Unconditionally
            convert result of min/max to result type.

    gcc/testsuite/ChangeLog:

            PR fortran/100283
            PR fortran/101123
            * gfortran.dg/min0_max0_1.f90: New test.
            * gfortran.dg/min0_max0_2.f90: New test.

[Bug fortran/100283] [11/12 Regression] Call to MIN0 with integer(8) arguments raises an ICE

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 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:e5220a731229eaa7be42232c6e9a9dd881fed2b9

commit r11-8624-ge5220a731229eaa7be42232c6e9a9dd881fed2b9
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Fri Jun 18 19:34:15 2021 +0200

    Fortran - fix conversion to result type for the min/max intrinsic

    gcc/fortran/ChangeLog:

            PR fortran/100283
            PR fortran/101123
            * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Unconditionally
            convert result of min/max to result type.

    gcc/testsuite/ChangeLog:

            PR fortran/100283
            PR fortran/101123
            * gfortran.dg/min0_max0_1.f90: New test.
            * gfortran.dg/min0_max0_2.f90: New test.

    (cherry picked from commit 6fc543396345900f460c9fa7121239cb1ebbc3a3)

[Bug fortran/100283] [11/12 Regression] Call to MIN0 with integer(8) arguments raises an ICE

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #5 from anlauf at gcc dot gnu.org ---
Fixed on mainline for gcc-12, and on 11-branch.  Closing.

[Bug fortran/100283] [11/12 Regression] Call to MIN0 with integer(8) arguments raises an ICE

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |afernandez at odyhpc dot com

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 100755 has been marked as a duplicate of this bug. ***