[gcc r11-8624] Fortran - fix conversion to result type for the min/max intrinsic

[gcc r11-8624] Fortran - fix conversion to result type for the min/max intrinsic

[Harald Anlauf]

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)

Diff:
---
 gcc/fortran/trans-intrinsic.c             |  5 +----
 gcc/testsuite/gfortran.dg/min0_max0_1.f90 |  9 +++++++++
 gcc/testsuite/gfortran.dg/min0_max0_2.f90 | 10 ++++++++++
 3 files changed, 20 insertions(+), 4 deletions(-)

diff --git a/gcc/fortran/trans-intrinsic.c b/gcc/fortran/trans-intrinsic.c
index 2c094f326e6..c67a9fca46f 100644
--- a/gcc/fortran/trans-intrinsic.c
+++ b/gcc/fortran/trans-intrinsic.c
@@ -4157,10 +4157,7 @@ gfc_conv_intrinsic_minmax (gfc_se * se, gfc_expr * expr, enum tree_code op)
 			build_empty_stmt (input_location));
       gfc_add_expr_to_block (&se->pre, tmp);
     }
-  if (TREE_CODE (type) == INTEGER_TYPE)
-    se->expr = fold_build1_loc (input_location, FIX_TRUNC_EXPR, type, mvar);
-  else
-    se->expr = convert (type, mvar);
+  se->expr = convert (type, mvar);
 }
 
 
diff --git a/gcc/testsuite/gfortran.dg/min0_max0_1.f90 b/gcc/testsuite/gfortran.dg/min0_max0_1.f90
new file mode 100644
index 00000000000..118b0f03b52
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/min0_max0_1.f90
@@ -0,0 +1,9 @@
+! { dg-do compile }
+! { dg-options "-std=gnu" }
+! PR fortran/100283
+
+subroutine s ()
+  integer(kind=8) :: i,j,k
+  i = min0 (j,k)
+  i = max0 (-127_8, min0 (j,127_8))
+end subroutine s
diff --git a/gcc/testsuite/gfortran.dg/min0_max0_2.f90 b/gcc/testsuite/gfortran.dg/min0_max0_2.f90
new file mode 100644
index 00000000000..3fe4fcd3609
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/min0_max0_2.f90
@@ -0,0 +1,10 @@
+! { dg-do compile }
+! { dg-options "-fdefault-integer-8 -std=gnu" }
+! PR fortran/101123
+
+SUBROUTINE TEST
+  IMPLICIT INTEGER*4 (I-N)
+  MAXMN=MAX0(M,N)
+  MINMN=MIN0(M,0_4)
+  MAXRS=MAX1(R,S)
+END SUBROUTINE TEST