Hello world,
the attached patch fixes a 5/6/7 regression where we accept
code that is invalid for F95. Regression-tested.
OK for trunk?
(For some reason attaching the file doesn't work, and I don't want to
reboot my computer or log out just now because of some long-running
calculation. Therefore, I'm pasting both patch and test file.)
Regards
Thomas
2017-02-08 Thomas Koenig <tkoe...@gcc.gnu.org>
PR fortran/65542
* intrinsic.c (gfc_intrinsic_func_interface): Return an error
for -std=f95 for disallowed transformational functions in
initialization expressions.
2017-02-08 Thomas Koenig <tkoe...@gcc.gnu.org>
PR fortran/65542
* spread_init_expr_2.f90: New test case.
Patch:
Index: intrinsic.c
===================================================================
--- intrinsic.c (Revision 244747)
+++ intrinsic.c (Arbeitskopie)
@@ -4680,6 +4680,27 @@ gfc_intrinsic_func_interface (gfc_expr *expr, int
return MATCH_ERROR;
}
+ /* F95, 7.1.6.1: Only transformational functions REPEAT, RESHAPE,
+ SELECTED_INT_KIND, SELECTED_REAL_KIND, TRANSFER, and TRIM are
allowed in
+ initialization expressions. */
+
+ if (gfc_init_expr_flag && isym->transformational)
+ {
+ gfc_isym_id id = isym->id;
+ if (id != GFC_ISYM_REPEAT && id != GFC_ISYM_RESHAPE
+ && id != GFC_ISYM_SI_KIND && id != GFC_ISYM_SR_KIND
+ && id != GFC_ISYM_TRANSFER && id != GFC_ISYM_TRIM
+ && !gfc_notify_std (GFC_STD_F2003, "Transformational function
%qs "
+ "invalid as initialization expression is
at %L",
+ name, &expr->where))
+ {
+ if (!error_flag)
+ gfc_pop_suppress_errors ();
+
+ return MATCH_ERROR;
+ }
+ }
+
gfc_current_intrinsic_where = &expr->where;
/* Bypass the generic list for min, max and ISO_C_Binding's c_loc. */
Test case:
! { dg-do compile }
! { dg-options "-std=f95" }
! PR fortran/65542 - this did not give an error.
module bug
integer :: ibug(42) = spread(42, 1, 42) ! { dg-error "invalid as
initialization expression" }
end module
