fortran: Compare non-constant bound expressions. [PR105379]
authorMikael Morin <mikael@gcc.gnu.org>
Wed, 27 Apr 2022 09:36:16 +0000 (11:36 +0200)
committerMikael Morin <mikael@gcc.gnu.org>
Wed, 27 Apr 2022 09:36:16 +0000 (11:36 +0200)
commit6a460a2007dd9c527c5f9d5bbbedb852db7c1373
treec94770c91263d0e19de5d9dda05fd4b6ee641924
parent3e0c9fdfd00b5b5cbff1a0bd6ac012a10fe81348
fortran: Compare non-constant bound expressions. [PR105379]

Starting with r12-8235-gfa5cd7102da676dcb1757b1288421f5f3439ae0e,
class descriptor types are compared to detect duplicate declarations.

This caused ICEs as the comparison of array spec supported only constant
explicit bounds, but dummy class variable descriptor types can have a
_data field with non-constant array spec bounds.

This change adds support for non-constant bounds.  For that,
gfc_dep_compare_expr is used.  It does probably more than strictly
necessary, but using it avoids rewriting a specific comparison function,
making mistakes and forgetting cases.

PR fortran/103662
PR fortran/105379

gcc/fortran/ChangeLog:

* array.cc (compare_bounds): Use bool as return type.
Support non-constant expressions.
(gfc_compare_array_spec): Update call to compare_bounds.

gcc/testsuite/ChangeLog:

* gfortran.dg/class_dummy_8.f90: New test.
* gfortran.dg/class_dummy_9.f90: New test.
gcc/fortran/array.cc
gcc/testsuite/gfortran.dg/class_dummy_8.f90 [new file with mode: 0644]
gcc/testsuite/gfortran.dg/class_dummy_9.f90 [new file with mode: 0644]