[Bug fortran/31205] aliased operator assignment produces wrong result
pault at gcc dot gnu dot org
gcc-bugzilla@gcc.gnu.org
Tue Jul 24 19:17:00 GMT 2007
------- Comment #9 from pault at gcc dot gnu dot org 2007-07-24 19:16 -------
Subject: Bug 31205
Author: pault
Date: Tue Jul 24 19:16:36 2007
New Revision: 126886
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=126886
Log:
2007-07-24 Paul Thomas <pault@gcc.gnu.org>
PR fortran/31205
PR fortran/32842
* trans-expr.c (gfc_conv_function_call): Remove the default
initialization of intent(out) derived types.
* symbol.c (gfc_lval_expr_from_sym): New function.
* matchexp.c (gfc_get_parentheses): Return argument, if it is
character and posseses a ref.
* gfortran.h : Add prototype for gfc_lval_expr_from_sym.
* resolve.c (has_default_initializer): Move higher up in file.
(resolve_code): On detecting an interface assignment, check
if the rhs and the lhs are the same symbol. If this is so,
enclose the rhs in parenetheses to generate a temporary and
prevent any possible aliasing.
(apply_default_init): Remove code making the lval and call
gfc_lval_expr_from_sym instead.
(resolve_operator): Give a parentheses expression a type-
spec if it has no type.
* trans-decl.c (gfc_trans_deferred_vars): Apply the a default
initializer, if any, to an intent(out) derived type, using
gfc_lval_expr_from_sym and gfc_trans_assignment. Check if
the dummy is present.
2007-07-24 Paul Thomas <pault@gcc.gnu.org>
PR fortran/31205
* gfortran.dg/alloc_comp_basics_1.f90 : Restore number of
"deallocates" to 24, since patch has code rid of much spurious
code.
* gfortran.dg/interface_assignment_1.f90 : New test.
PR fortran/32842
* gfortran.dg/interface_assignment_2.f90 : New test.
Added:
trunk/gcc/testsuite/gfortran.dg/interface_assignment_1.f90
trunk/gcc/testsuite/gfortran.dg/interface_assignment_2.f90
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31205
More information about the Gcc-bugs
mailing list