diff options
| author | Peter Klausler <pklausler@nvidia.com> | 2023-08-11 14:29:44 -0700 |
|---|---|---|
| committer | Peter Klausler <pklausler@nvidia.com> | 2023-08-29 15:08:23 -0700 |
| commit | 0c0b2ea98816067aea43f38892e5901c74271d40 (patch) | |
| tree | 90532beac6395618ad852b42cd2b7a3849898a7f /flang/lib/Lower/ConvertType.cpp | |
| parent | 4c62e943b7178127861ca39163a0ed4caeb14943 (diff) | |
[flang] Check procedure pointer initializations; clean up ELEMENTAL
Implements compatibility checking for initializers in procedure pointer
declarations. This work exposed some inconsistency in how ELEMENTAL
interfaces were handled and checked, from both unrestricted intrinsic
functions and others, and some refinements needed for function result
compatbility checking; these have also been ironed out. Some new
warnings are now emitted, and this affected a dozen or so tests.
Differential Revision: https://reviews.llvm.org/D159026
Diffstat (limited to 'flang/lib/Lower/ConvertType.cpp')
| -rw-r--r-- | flang/lib/Lower/ConvertType.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/flang/lib/Lower/ConvertType.cpp b/flang/lib/Lower/ConvertType.cpp index 9dfe982a6504..e8179b43afc7 100644 --- a/flang/lib/Lower/ConvertType.cpp +++ b/flang/lib/Lower/ConvertType.cpp @@ -276,8 +276,8 @@ struct TypeBuilderImpl { Fortran::semantics::IsUnlimitedPolymorphic(symbol)) && !Fortran::semantics::IsAssumedType(symbol); if (ultimate.IsObjectArray()) { - auto shapeExpr = Fortran::evaluate::GetShapeHelper{ - converter.getFoldingContext()}(ultimate); + auto shapeExpr = + Fortran::evaluate::GetShape(converter.getFoldingContext(), ultimate); if (!shapeExpr) TODO(loc, "assumed rank symbol type"); fir::SequenceType::Shape shape; |