+2018-02-25 Steven G. Kargl <kargl@gcc.gnu.org>
+
+ PR fortran/83633
+ * decl.c (variable_decl): Check that an explicit-shape-array with
+ nonconstant bounds is allowed.
+
2018-02-25 Paul Thomas <pault@gcc.gnu.org>
PR fortran/84523
/* At this point, we know for sure if the symbol is PARAMETER and can thus
determine (and check) whether it can be implied-shape. If it
was parsed as assumed-size, change it because PARAMETERs can not
- be assumed-size. */
+ be assumed-size.
+
+ An explicit-shape-array cannot appear under several conditions.
+ That check is done here as well. */
if (as)
{
if (as->type == AS_IMPLIED_SHAPE && current_attr.flavor != FL_PARAMETER)
m = MATCH_ERROR;
goto cleanup;
}
+
+ /* F2018:C830 (R816) An explicit-shape-spec whose bounds are not
+ constant expressions shall appear only in a subprogram, derived
+ type definition, BLOCK construct, or interface body. */
+ if (as->type == AS_EXPLICIT
+ && gfc_current_state () != COMP_BLOCK
+ && gfc_current_state () != COMP_DERIVED
+ && gfc_current_state () != COMP_FUNCTION
+ && gfc_current_state () != COMP_INTERFACE
+ && gfc_current_state () != COMP_SUBROUTINE)
+ {
+ gfc_expr *e;
+ bool not_constant = false;
+
+ for (int i = 0; i < as->rank; i++)
+ {
+ e = gfc_copy_expr (as->lower[i]);
+ gfc_resolve_expr (e);
+ gfc_simplify_expr (e, 0);
+ if (e && (e->expr_type != EXPR_CONSTANT))
+ {
+ not_constant = true;
+ break;
+ }
+ gfc_free_expr (e);
+
+ e = gfc_copy_expr (as->upper[i]);
+ gfc_resolve_expr (e);
+ gfc_simplify_expr (e, 0);
+ if (e && (e->expr_type != EXPR_CONSTANT))
+ {
+ not_constant = true;
+ break;
+ }
+ gfc_free_expr (e);
+ }
+
+ if (not_constant)
+ {
+ gfc_error ("Explicit shaped array with nonconstant bounds at %C");
+ m = MATCH_ERROR;
+ goto cleanup;
+ }
+ }
}
char_len = NULL;
+2018-02-25 Steven G. Kargl <kargl@gcc.gnu.org>
+
+ PR fortran/83633
+ * gfortran.dg/explicit_shape_1.f90: New test.
+ * gfortran.dg/automatic_module_variable.f90: Update regex.
+ * gfortran.dg/bad_automatic_objects_1.f90: Ditto.
+ * gfortran.dg/constant_shape.f90: Ditto.
+ * gfortran.dg/dec_structure_23.f90: Ditto.
+ * gfortran.dg/pr78240.f90: Ditto.
+
2018-02-25 Paul Thomas <pault@gcc.gnu.org>
PR fortran/84523
! { dg-do compile }
! Tests fix for PR15976
!
+! Error message update with patch for PR fortran/83633
+!
module sd
integer, parameter :: n = 20
integer :: i(n)
- integer :: j(m) ! { dg-error "must have constant shape" }
+ integer :: j(m) ! { dg-error "array with nonconstant bounds" }
integer, pointer :: p(:)
integer, allocatable :: q(:)
contains
!
! Contributed by Joost VandeVondele <jv244@cam.ac.uk>
!
+! Error message update with patch for PR fortran/83633
+!
module foo
integer :: i
end module foo
module bar
use foo
- integer, dimension (i) :: j ! { dg-error "must have constant shape" }
+ integer, dimension (i) :: j ! { dg-error "array with nonconstant bounds" }
character (len = i) :: c1 ! { dg-error "must have constant character length" }
end module bar
program foobar
use foo
- integer, dimension (i) :: k ! { dg-error "must have constant shape" }
+ integer, dimension (i) :: k ! { dg-error "array with nonconstant bounds" }
character (len = i) :: c2 ! { dg-error "must have constant character length" }
end program foobar
! PR 78392: ICE in gfc_trans_auto_array_allocation, at fortran/trans-array.c:5979
!
! Contributed by Janus Weil <janus@gcc.gnu.org>
-
+! Error message update with patch for PR fortran/83633
+!
module mytypes
implicit none
contains
program test
use mytypes
implicit none
- integer, dimension(get_i()) :: x ! { dg-error "must have constant shape" }
- print *, size (x)
+ integer, dimension(get_i()) :: x ! { dg-error "array with nonconstant bounds" }
+ print *, size (x) ! { dg-error "has no IMPLICIT type" }
end
! Test a regression where an ICE occurred attempting to create array variables
! with non-constant array-specs in legacy clist initializers.
!
-
+! Error message update with patch for PR fortran/83633
+!
program p
implicit none
integer :: nn
real :: rr
structure /s/
- integer x(n) /1/ ! { dg-error "xpected constant" }
- integer xx(nn) /1/ ! { dg-error "xpected constant" }
- integer xxx(rr) /1.0/ ! { dg-error "xpected constant" }
+ integer x(n) /1/ ! { dg-error "array with nonconstant bounds" }
+ integer xx(nn) /1/ ! { dg-error "array with nonconstant bounds" }
+ integer xxx(rr) /1.0/ ! { dg-error "array with nonconstant bounds" }
end structure
end
--- /dev/null
+! { dg-do compile }
+! PR fortran/83633
+! Original testcase by Nathan T. Weeks <weeks at iastate dot edu>
+!
+integer :: A(command_argument_count()) = 1 ! { dg-error "nonconstant bounds" }
+write (*,*) A
+end
! to the error handling routine for non-constant array-specs in DATA list
! initializers.
!
-
+! Error message update with patch for PR fortran/83633
+!
program p
- integer x(n) /1/ ! { dg-error "cannot appear in the expression" }
+ integer x(n) /1/ ! { dg-error "array with nonconstant bounds" }
end
! { dg-prune-output "module or main program" }
! { dg-prune-output "Nonconstant array" }
projects / gcc.git / commitdiff