diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2020-06-20 16:05:13 +0200 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:14:20 -0300 |
| commit | 0222b3bf6e8eed4d1741b51481acc231a2df909a (patch) | |
| tree | fd5062e07414e02743bda440ffa17a8cba9538db /gcc | |
| parent | 585072c75ce2fbfe632e955e8bfb2f526d018a65 (diff) | |
| download | gcc-0222b3bf6e8eed4d1741b51481acc231a2df909a.zip gcc-0222b3bf6e8eed4d1741b51481acc231a2df909a.tar.gz gcc-0222b3bf6e8eed4d1741b51481acc231a2df909a.tar.bz2 | |
PR fortran/95587 - ICE in gfc_target_encode_expr, at fortran/target-memory.c:362
EQUIVALENCE objects are subject to constraints listed in the Fortran 2018
standard, section 8.10.1.1. These constraints are to be checked
also for CLASS variables.
gcc/fortran/
PR fortran/95587
* match.c (gfc_match_equivalence): Check constraints on
EQUIVALENCE objects also for CLASS variables.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/match.c | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/pr95587.f90 | 13 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/fortran/match.c b/gcc/fortran/match.c index 82d2b50..8063fca 100644 --- a/gcc/fortran/match.c +++ b/gcc/fortran/match.c @@ -5700,6 +5700,11 @@ gfc_match_equivalence (void) if (!gfc_add_in_equivalence (&sym->attr, sym->name, NULL)) goto cleanup; + if (sym->ts.type == BT_CLASS + && CLASS_DATA (sym) + && !gfc_add_in_equivalence (&CLASS_DATA (sym)->attr, + sym->name, NULL)) + goto cleanup; if (sym->attr.in_common) { diff --git a/gcc/testsuite/gfortran.dg/pr95587.f90 b/gcc/testsuite/gfortran.dg/pr95587.f90 new file mode 100644 index 0000000..a543fb9 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr95587.f90 @@ -0,0 +1,13 @@ +! { dg-do compile } +! PR fortran/95587 - ICE in gfc_target_encode_expr, at fortran/target-memory.c:362 + +program p + type t + end type t + class(*), allocatable :: x, y + class(t), allocatable :: u, v + class(t), pointer :: c, d + equivalence (x, y) ! { dg-error "conflicts with ALLOCATABLE" } + equivalence (u, v) ! { dg-error "conflicts with ALLOCATABLE" } + equivalence (c, d) ! { dg-error "conflicts with POINTER" } +end |