[PATCH] Automatics in equivalence statements

[Mark Eggleston]

Currently variables with the AUTOMATIC attribute can not appear in an 
EQUIVALENCE statement. However its counterpart, STATIC, can be used in 
an EQUIVALENCE statement.

Where there is a clear conflict in the attributes of variables in an 
EQUIVALENCE statement an error message will be issued as is currently 
the case.

If there is no conflict e.g. a variable with a AUTOMATIC attribute and a 
variable(s) without attributes all variables in the EQUIVALENCE will 
become AUTOMATIC.

Note: most of this patch was written by Jeff Law <law@redhat.com>

Please review.

ChangeLogs:

gcc/fortran

     Jeff Law  <law@redhat.com>
     Mark Eggleston  <mark.eggleston@codethink.com>

 Â Â Â  * gfortran.h: Add check_conflict declaration.
 Â Â Â  * symbol.c (check_conflict): Remove automatic in equivalence conflict
 Â Â Â  check.
 Â Â Â  * symbol.c (save_symbol): Add check for in equivalence to stop the
 Â Â Â  the save attribute being added.
 Â Â Â  * trans-common.c (build_equiv_decl): Add is_auto parameter and
 Â Â Â  add !is_auto to condition where TREE_STATIC (decl) is set.
 Â Â Â  * trans-common.c (build_equiv_decl): Add local variable is_auto,
 Â Â Â  set it true if an atomatic attribute is encountered in the variable
     list.  Call build_equiv_decl with is_auto as an additional parameter.
 Â Â Â  flag_dec_format_defaults is enabled.
 Â Â Â  * trans-common.c (accumulate_equivalence_attributes) : New subroutine.
 Â Â Â  * trans-common.c (find_equivalence) : New local variable dummy_symbol,
 Â Â Â  accumulated equivalence attributes from each symbol then check for
 Â Â Â  conflicts.

gcc/testsuite

 Â Â Â  Mark Eggleston <mark.eggleston@codethink.com>

 Â Â Â  * gfortran.dg/auto_in_equiv_1.f90: New test.
 Â Â Â  * gfortran.dg/auto_in_equiv_2.f90: New test.
 Â Â Â  * gfortran.dg/auto_in_equiv_3.f90: New test.

-- 
https://www.codethink.co.uk/privacy.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0005-Allow-automatics-in-equivalence.patch
Type: text/x-patch
Size: 12009 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/fortran/attachments/20190621/207f9987/attachment.bin>