[Bug fortran/51052] [OOP] Internal compiler error in gfc_conv_component
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51052 janus at gcc dot gnu.org changed: What|Removed |Added Target Milestone|--- |4.7.0
[Bug fortran/51052] [OOP] Internal compiler error in gfc_conv_component
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51052 Paul Thomas changed: What|Removed |Added Status|NEW |RESOLVED CC||pault at gcc dot gnu.org Resolution||FIXED --- Comment #9 from Paul Thomas 2012-01-02 13:00:36 UTC --- Fixed on trunk. Thanks for the report Paul
[Bug fortran/51052] [OOP] Internal compiler error in gfc_conv_component
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51052 --- Comment #8 from Paul Thomas 2012-01-02 12:46:16 UTC --- Author: pault Date: Mon Jan 2 12:46:08 2012 New Revision: 182796 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182796 Log: 2012-01-02 Paul Thomas PR fortran/51529 * trans-array.c (gfc_array_allocate): Null allocated memory of newly allocted class arrays. PR fortran/46262 PR fortran/46328 PR fortran/51052 * interface.c(build_compcall_for_operator): Add a type to the expression. * trans-expr.c (conv_base_obj_fcn_val): New function. (gfc_conv_procedure_call): Use base_expr to detect non-variable base objects and, ensuring that there is a temporary variable, build up the typebound call using conv_base_obj_fcn_val. (gfc_trans_class_assign): Pick out class procedure pointer assignments and do the assignment with no further prcessing. (gfc_trans_class_array_init_assign, gfc_trans_class_init_assign gfc_trans_class_assign): Move to top of file. * gfortran.h : Add 'base_expr' field to gfc_expr. * resolve.c (get_declared_from_expr): Add 'types' argument to switch checking of derived types on or off. (resolve_typebound_generic_call): Set the new argument. (resolve_typebound_function, resolve_typebound_subroutine): Set 'types' argument for get_declared_from_expr appropriately. Identify base expression, if not a variable, in the argument list of class valued calls. Assign it to the 'base_expr' field of the final expression. Strip away all references after the last class reference. 2012-01-02 Paul Thomas PR fortran/46262 PR fortran/46328 PR fortran/51052 * gfortran.dg/typebound_operator_7.f03: New. * gfortran.dg/typebound_operator_8.f03: New. Added: trunk/gcc/testsuite/gfortran.dg/typebound_operator_7.f03 trunk/gcc/testsuite/gfortran.dg/typebound_operator_8.f03 Modified: trunk/gcc/fortran/ChangeLog trunk/gcc/fortran/dump-parse-tree.c trunk/gcc/fortran/gfortran.h trunk/gcc/fortran/interface.c trunk/gcc/fortran/resolve.c trunk/gcc/fortran/trans-array.c trunk/gcc/fortran/trans-expr.c trunk/gcc/testsuite/ChangeLog
[Bug fortran/51052] [OOP] Internal compiler error in gfc_conv_component
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51052 --- Comment #7 from janus at gcc dot gnu.org 2011-11-09 15:20:55 UTC --- (In reply to comment #6) > yes, that is the one :). I am really examining the borders of > gfortran at the moment. Right. Thanks for your continued bug reporting. That sort of user feedback helps us a lot.
[Bug fortran/51052] [OOP] Internal compiler error in gfc_conv_component
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51052 --- Comment #5 from janus at gcc dot gnu.org 2011-11-09 13:56:39 UTC --- (In reply to comment #3) > that may be from an older version of 4.6 (I now have 4.6.2, > previously 4.6.1). When running a program that used that > module, I got error messages about trying to allocate and > already allocated array. ah, I guess that was PR50225 (which was fixed only in 4.7, so 4.6.2 probably does not help here).
[Bug fortran/51052] [OOP] Internal compiler error in gfc_conv_component
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51052 janus at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2011-11-09 Ever Confirmed|0 |1 --- Comment #2 from janus at gcc dot gnu.org 2011-11-09 13:45:12 UTC --- Here is an very much reduced (and corrected) test case. This is another case of "non-trivial polymorphic operands", cf. PR46262 and PR46328. Arjen, why do you need those workarounds for 4.6? module points2d3d implicit none type point2d real :: x, y contains procedure :: add_vector_2d procedure :: assign_2d generic :: operator(+) => add_vector_2d generic :: assignment(=) => assign_2d end type contains subroutine assign_2d( point1, point2 ) class(point2d), intent(inout) :: point1 class(point2d), intent(in):: point2 point1%x = point2%x point1%y = point2%y end subroutine function add_vector_2d( point, vector ) class(point2d), intent(in) :: point, vector class(point2d), allocatable :: add_vector_2d ! Workaround for gfortran 4.6 if ( allocated( add_vector_2d ) ) then deallocate( add_vector_2d ) endif allocate( add_vector_2d ) add_vector_2d%x = point%x + vector%x add_vector_2d%y = point%y + vector%y end function end module points2d3d use points2d3d implicit none contains subroutine position_oil_particle() class(point2d), pointer :: position type(point2d):: p1, p2 position = position + p1 + p2 end subroutine end
[Bug fortran/51052] [OOP] Internal compiler error in gfc_conv_component
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51052
Tobias Burnus changed:
What|Removed |Added
Keywords||ice-on-valid-code
CC||burnus at gcc dot gnu.org,
||janus at gcc dot gnu.org
Summary|Internal compiler error in |[OOP] Internal compiler
|gfc_conv_component |error in gfc_conv_component
--- Comment #1 from Tobias Burnus 2011-11-09
13:03:56 UTC ---
I can confirm the ICE - I get the same with 4.6 and 4.7.
Note, however, that with GCC 4.7 one has to fix the following coding problem
before one can enjoy the internal error:
particles.f90:102.17:
procedure, pass(particle) &
1
Error: Argument mismatch for the overriding procedure 'new_position' at (1):
INTENT mismatch in argument 'particle'
The issue seems to occur for:
position = position + deltt * velocity + &
random_displacement
in subroutine position_oil_particle if particles.f90.
The ICE is in gfc_conv_component_ref for:
if (DECL_FIELD_CONTEXT (field) != TREE_TYPE (decl))
{
tree f2 = c->norestrict_decl;
if (!f2 || DECL_FIELD_CONTEXT (f2) != TREE_TYPE (decl))
for (f2 = TYPE_FIELDS (TREE_TYPE (decl)); f2; f2 = DECL_CHAIN (f2))
and fails for "TYPE_FIELDS (TREE_TYPE (decl))" with: "internal compiler error:
tree check: expected record_type or union_type or qual_union_type, have
function_type in gfc_conv_component_ref, at fortran/trans-expr.c:556"
This is called by gfc_conv_variable, which is called by get_proc_ptr_comp. The
expression looks as follow
"position%__class_points2d3d_Point2d_p%__vtype_points2d3d_Point2d%__class_points2d3d_Point2d_a%__vtype_points2d3d_Point2d"
At least that's what I get when printing expr->symtree->n.sym->name and
expr->ref{,->next,->next->next,...}->u.c.sym->name.
