https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107874
Bug ID: 107874
Summary: merge not using all its arguments
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: john.harper at vuw dot ac.nz
Target Milestone: ---
The F2018 standard 15.5.3 requires all actual arguments in a function reference
to be evaluated.
In the program below, merge has three scalar arguments; ifort evaluates
all three, gfortran evaluates only the useful two, which violates 15.5.3.
program testmerge9
implicit none
integer i
logical:: x(2)=(/.true., .false./), y ! avoiding [ ] allows f95 option
do i = 1,2
y = merge(tstuff(),fstuff(),x(i))
print *,y
end do
contains
logical function tstuff()
print *,'tstuff'
tstuff = .true.
end function tstuff
logical function fstuff()
print *,'fstuff'
fstuff = .false.
end function fstuff
end program testmerge9
Steve Kargl said "Looks like a bug. Feel free to send a bug report with this
patch."
diff --git a/gcc/fortran/trans-intrinsic.cc b/gcc/fortran/trans-intrinsic.cc
index bb938026828..c5b63d356e1 100644
--- a/gcc/fortran/trans-intrinsic.cc
+++ b/gcc/fortran/trans-intrinsic.cc
@@ -7538,9 +7538,9 @@ gfc_conv_intrinsic_merge (gfc_se * se, gfc_expr * expr)
gfc_conv_intrinsic_function_args (se, expr, args, num_args);
if (expr->ts.type != BT_CHARACTER)
{
- tsource = args[0];
- fsource = args[1];
- mask = args[2];
+ tsource = gfc_evaluate_now (args[0], &se->pre);
+ fsource = gfc_evaluate_now (args[1], &se->pre);
+ mask = gfc_evaluate_now (args[2], &se->pre);
}
else
{
