[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.1.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #7 from pault at gcc dot gnu dot org 2006-01-14 06:31 --- Subject: Bug 21256 Author: pault Date: Sat Jan 14 06:31:08 2006 New Revision: 109698 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=109698 Log: 2006-01-14 Paul Thomas [EMAIL PROTECTED] PR fortran/22146 * trans-array.c (gfc_reverse_ss): Remove static attribute. (gfc_walk_elemental_function_args): Replace gfc_expr * argument for the function call with the corresponding gfc_actual_arglist*. Change code accordingly. (gfc_walk_function_expr): Call to gfc_walk_elemental_function_args now requires the actual argument list instead of the expression for the function call. * trans-array.h: Modify the prototype for gfc_walk_elemental_function_args and provide a prototype for gfc_reverse_ss. * trans-stmt.h (gfc_trans_call): Add the scalarization code for the case where an elemental subroutine has array valued actual arguments. PR fortran/25029 PR fortran/21256 PR fortran/20868 PR fortran/20870 * resolve.c (check_assumed_size_reference): New function to check for upper bound in assumed size array references. (resolve_assumed_size_actual): New function to do a very restricted scan of actual argument expressions of those procedures for which incomplete assumed size array references are not allowed. (resolve_function, resolve_call): Switch off assumed size checking of actual arguments, except for elemental procedures and intrinsic inquiry functions, in some circumstances. (resolve_variable): Call check_assumed_size_reference. 2006-01-14 Paul Thomas [EMAIL PROTECTED] PR fortran/22146 * gfortran.dg/elemental_subroutine_1.f90: New test. * gfortran.dg/elemental_subroutine_2.f90: New test. PR fortran/25029 PR fortran/21256 * gfortran.dg/assumed_size_refs_1.f90: New test. PR fortran/20868 PR fortran/20870 * gfortran.dg/assumed_size_refs_2.f90: New test. * gfortran.dg/initialization_1.f90: Change warning message. * gfortran.dg/pr15140.f90: Add bound to assumed size reference. Added: branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/assumed_size_refs_1.f90 branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/assumed_size_refs_2.f90 branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/elemental_subroutine_1.f90 branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/elemental_subroutine_2.f90 Modified: branches/gcc-4_1-branch/MAINTAINERS branches/gcc-4_1-branch/gcc/fortran/ChangeLog branches/gcc-4_1-branch/gcc/fortran/resolve.c branches/gcc-4_1-branch/gcc/fortran/trans-array.c branches/gcc-4_1-branch/gcc/fortran/trans-array.h branches/gcc-4_1-branch/gcc/fortran/trans-intrinsic.c branches/gcc-4_1-branch/gcc/fortran/trans-stmt.c branches/gcc-4_1-branch/gcc/testsuite/ChangeLog branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/initialization_1.f90 branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/pr15140.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #8 from pault at gcc dot gnu dot org 2006-01-14 07:25 --- Fixed on mainline and 4.1. Paul -- pault at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #6 from pault at gcc dot gnu dot org 2006-01-07 14:14 ---
Subject: Bug 21256
Author: pault
Date: Sat Jan 7 14:14:08 2006
New Revision: 109449
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=109449
Log:
2006-01-07 Paul Thomas [EMAIL PROTECTED]
PR fortran/22146
* trans-array.c (gfc_reverse_ss): Remove static attribute.
(gfc_walk_elemental_function_args): Replace gfc_expr * argument for
the function call with the corresponding gfc_actual_arglist*. Change
code accordingly.
(gfc_walk_function_expr): Call to gfc_walk_elemental_function_args
now requires the actual argument list instead of the expression for
the function call.
* trans-array.h: Modify the prototype for
gfc_walk_elemental_function_args
and provide a prototype for gfc_reverse_ss.
* trans-stmt.h (gfc_trans_call): Add the scalarization code for the
case
where an elemental subroutine has array valued actual arguments.
PR fortran/25029
PR fortran/21256
PR fortran/20868
PR fortran/20870
* resolve.c (check_assumed_size_reference): New function to check for
upper
bound in assumed size array references.
(resolve_assumed_size_actual): New function to do a very restricted
scan
of actual argument expressions of those procedures for which incomplete
assumed size array references are not allowed.
(resolve_function, resolve_call): Switch off assumed size checking of
actual arguments, except for elemental procedures and intrinsic
inquiry functions, in some circumstances.
(resolve_variable): Call check_assumed_size_reference.
2006-01-07 Paul Thomas [EMAIL PROTECTED]
PR fortran/22146
* gfortran.dg/elemental_subroutine_1.f90: New test.
* gfortran.dg/elemental_subroutine_2.f90: New test.
PR fortran/25029
PR fortran/21256
* gfortran.dg/assumed_size_refs_1.f90: New test.
PR fortran/20868
PR fortran/20870
* gfortran.dg/assumed_size_refs_2.f90: New test.
* gfortran.dg/initialization_1.f90: Change warning message.
Added:
trunk/gcc/testsuite/gfortran.dg/assumed_size_refs_1.f90 (with props)
trunk/gcc/testsuite/gfortran.dg/assumed_size_refs_2.f90 (with props)
trunk/gcc/testsuite/gfortran.dg/elemental_subroutine_1.f90
trunk/gcc/testsuite/gfortran.dg/elemental_subroutine_2.f90
Modified:
trunk/MAINTAINERS
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/resolve.c
trunk/gcc/fortran/trans-array.c
trunk/gcc/fortran/trans-array.h
trunk/gcc/fortran/trans-intrinsic.c
trunk/gcc/fortran/trans-stmt.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gfortran.dg/initialization_1.f90
Added: trunk/gcc/testsuite/gfortran.dg/assumed_size_refs_1.f90
URL:
http://gcc.gnu.org/viewcvs/trunk/gcc/testsuite/gfortran.dg/assumed_size_refs_1.f90?root=gccview=autorev=109449
==
--- trunk/gcc/testsuite/gfortran.dg/assumed_size_refs_1.f90 (added)
+++ trunk/gcc/testsuite/gfortran.dg/assumed_size_refs_1.f90 Sat Jan 7 14:14:08
2006
@@ -1,0 +1,64 @@
+!==assumed_size_refs_1.f90==
+! { dg-do compile }
+! Test the fix for PR25029, PR21256 in which references to
+! assumed size arrays without an upper bound to the last
+! dimension were generating no error. The first version of
+! the patch failed in DHSEQR, as pointed out by Toon Moene
+! in http://gcc.gnu.org/ml/fortran/2005-12/msg00466.html
+!
+! Contributed by Paul Thomas [EMAIL PROTECTED]
+!
+program assumed_size_test_1
+ implicit none
+ real a(2, 4)
+
+ a = 1.0
+ call foo (a)
+
+contains
+ subroutine foo(m)
+real, target :: m(1:2, *)
+real x(2,2,2)
+real, external :: bar
+real, pointer :: p(:,:), q(:,:)
+allocate (q(2,2))
+
+! PR25029
+p = m ! { dg-error upper bound in the last
dimension }
+q = m ! { dg-error upper bound in the last
dimension }
+
+! PR21256( and PR25060)
+m = 1 ! { dg-error upper bound in the last
dimension }
+
+m(1,1) = 2.0
+x = bar (m)
+x = fcn (m)! { dg-error upper bound in the last
dimension }
+m(:, 1:2) = fcn (q)
+call sub (m, x)! { dg-error upper bound in the last
dimension }
+call sub (m(1:2, 1:2), x)
+print *, p
+
+call DHSEQR(x)
+
+ end subroutine foo
+
+ elemental function fcn (a) result (b)
+real, intent(in) :: a
+real :: b
+b = 2.0 * a
+ end function fcn
+
+ elemental subroutine sub (a, b)
+real, intent(inout) :: a, b
+b = 2.0 * a
+ end subroutine sub
+
+ SUBROUTINE DHSEQR( WORK )
+REAL WORK( * )
+EXTERNAL DLARFX
+INTRINSIC MIN
+WORK( 1 ) = 1.0
+CALL DLARFX( MIN( 1, 8 ), WORK )
+ END SUBROUTINE DHSEQR
+
+end program
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #5 from pault at gcc dot gnu dot org 2005-12-24 12:05 --- Subject: Bug 21256 Author: pault Date: Sat Dec 24 12:05:36 2005 New Revision: 109039 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=109039 Log: 2005-12-24 Paul Thomas [EMAIL PROTECTED] PR fortran/25029 PR fortran/21256 * resolve.c (check_assumed_size_reference, resolve_assumed_size_actual): Remove because of regressions caused by patch. (resolve_function, resolve_call, resolve_variable): Remove assumed size checks because of regressionscaused by patch. PR fortran/25029 PR fortran/21256 * gfortran.dg/initialization_1.f90: Remove tests of intrinsic functions with incorrect assumed size references. Modified: trunk/gcc/fortran/ChangeLog trunk/gcc/fortran/resolve.c trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gfortran.dg/initialization_1.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #4 from pault at gcc dot gnu dot org 2005-12-23 06:41 --- Subject: Bug 21256 Author: pault Date: Fri Dec 23 06:41:52 2005 New Revision: 109009 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=109009 Log: 2005-12-23 Paul Thomas [EMAIL PROTECTED] PR fortran/25029 PR fortran/21256 *resolve.c(resolve_function): Remove assumed size checking for SIZE and UBOUND and rely on their built-in checking. 2005-12-23 Paul Thomas [EMAIL PROTECTED] PR fortran/25029 PR fortran/21256 *gfortran.dg/initialization_1.f90: Add test of SIZE. Modified: trunk/gcc/fortran/ChangeLog trunk/gcc/fortran/resolve.c trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gfortran.dg/initialization_1.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #3 from pault at gcc dot gnu dot org 2005-12-22 07:05 --- Subject: Bug 21256 Author: pault Date: Thu Dec 22 07:05:22 2005 New Revision: 108943 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=108943 Log: 2005-12-22 Paul Thomas [EMAIL PROTECTED] PR fortran/20889 *resolve.c(resolve_structure_cons): Do not attempt to convert the type of mismatched pointer type components, except when the constructor component is BT_UNKNOWN; emit error instead. PR fortran/25029 PR fortran/21256 *resolve.c(check_assumed_size_reference): New function to check for upper bound in assumed size array references. (resolve_assumed_size_actual): New function to do a very restricted scan of actual argument expressions of those procedures for which incomplete assumed size array references are not allowed. (resolve_function, resolve_call): Switch off assumed size checking of actual arguments, except for elemental procedures and array valued intrinsics; excepting LBOUND. (resolve_variable): Call check_assumed_size_reference. PR fortran/19362 PR fortran/20244 PR fortran/20864 PR fortran/25391 *interface.c(gfc_compare_types): Broken into two. (gfc_compare_derived_types): Second half of gfc_compare_types with corrections for a missing check that module name is non-NULL and a check for private components. *symbol.c(gfc_free_dt_list): New function. (gfc_free_namespace): Call gfc_free_dt_list. *resolve.c(resolve_symbol): Build the list of derived types in the symbols namespace. *gfortran.h: Define the structure type gfc_dt_list. Add a new field, derived_types to gfc_namespace. Provide a prototye for the new function gfc_compare_derived_types. *trans_types.c(gfc_get_derived_type): Test for the derived type being available in the host namespace. In this case, the host backend declaration is used for the structure and its components. If an unbuilt, equal structure that is not use associated is found in the host namespace, build it there and then. On exit,traverse the namespace of the derived type to see if there are equal but unbuilt. If so, copy the structure and its component declarations. (copy_dt_decls_ifequal): New functions to copy declarations to other equal structure types. PR fortran/20862 * io.c (gfc_match_format): Make the appearance of a format statement in a module specification block an error. PR fortran/23152 * match.c (gfc_match_namelist): Set assumed shape arrays in namelists as std=GFC_STD_GNU and assumed size arrays as an unconditional error. PR fortran/25069 * match.c (gfc_match_namelist): Set the respecification of a USE associated namelist group as std=GFC_STD_GNU. Permit the concatenation on no error. PR fortran/25053 PR fortran/25063 PR fortran/25064 PR fortran/25066 PR fortran/25067 PR fortran/25068 PR fortran/25307 * io.c (resolve_tag): Change std on IOSTAT != default integer to GFC_STD_GNU and change message accordingly. Add same error for SIZE. (match_dt_element, gfortran.h): Add field err_where to gfc_dt and set it when tags are being matched. (gfc_resolve_dt): Remove tests that can be done before resolution and add some of the new ones here. (check_io_constraints): New function that checks for most of the data transfer constraints. Some of these were previously done in match_io, from where this function is called, and some were done in gfc_resolve_dt. (match_io): Remove most of the tests of constraints and add the call to check_io_constraints. 2005-12-22 Paul Thomas [EMAIL PROTECTED] PR fortran/20889 *gfortran.dg/pointer_component_type_1.f90: New test. PR fortran/25029 PR fortran/21256 *gfortran.dg/assumed_size_refs.f90: New test for the conditions that should give an error with assumed size array refernces and checks those that should not. *gfortran.dg/gfortran.dg/pr15140.f90: Give the assumed size array reference an upper bound so that it does not generate an error. PR fortran/19362 PR fortran/20244 PR fortran/20864 PR fortran/25391 *gfortran.dg/used_dummy_types_1.f90: New test. *gfortran.dg/used_dummy_types_2.f90: New test. *gfortran.dg/used_dummy_types_3.f90: New test. *gfortran.dg/used_dummy_types_4.f90: New test. *gfortran.dg/used_dummy_types_5.f90: New test. PR fortran/23152 *gfortran.dg/namelist_use.f90: Add trap for warning on NAMELIST group
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #1 from pault at gcc dot gnu dot org 2005-12-18 07:43 --- Steve, I do not see this in the standard. According to 5.1.2.4.4: Constraint: The function name of an array-valued function shall not be declared as an assumed-size array Constraint: An assumed-size array with INTENT(OUT) shall not be of a type for which default initialization is specified. That's it. Paul -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
--- Comment #2 from pault at gcc dot gnu dot org 2005-12-18 07:48 --- PS I beg your pardon - the array assignment is illegal and is caught by the patch that I am about to submit. Paul -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
[Bug fortran/21256] Illegal use of assumed-sized array in an array expression
-- What|Removed |Added CC||tobi at gcc dot gnu dot org Status|UNCONFIRMED |NEW Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2005-06-05 10:00:45 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21256
