diff options
Diffstat (limited to 'flang/lib/Semantics/check-declarations.cpp')
| -rw-r--r-- | flang/lib/Semantics/check-declarations.cpp | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/flang/lib/Semantics/check-declarations.cpp b/flang/lib/Semantics/check-declarations.cpp index 3162af396efc..1b9a747501ed 100644 --- a/flang/lib/Semantics/check-declarations.cpp +++ b/flang/lib/Semantics/check-declarations.cpp @@ -261,19 +261,6 @@ void CheckHelper::Check(const Symbol &symbol) { CheckExplicitSave(symbol); } const auto *object{symbol.detailsIf<ObjectEntityDetails>()}; - if (symbol.attrs().test(Attr::CONTIGUOUS)) { - if ((!object && !symbol.has<UseDetails>()) || - !((IsPointer(symbol) && symbol.Rank() > 0) || IsAssumedShape(symbol) || - evaluate::IsAssumedRank(symbol))) { - if (symbol.owner().IsDerivedType()) { // C752 - messages_.Say( - "A CONTIGUOUS component must be an array with the POINTER attribute"_err_en_US); - } else { // C830 - messages_.Say( - "CONTIGUOUS entity must be an array pointer, assumed-shape, or assumed-rank"_err_en_US); - } - } - } CheckGlobalName(symbol); if (isDone) { return; // following checks do not apply @@ -848,6 +835,17 @@ void CheckHelper::CheckObjectEntity( "'%s' is a data object and may not be EXTERNAL"_err_en_US, symbol.name()); } + if (symbol.attrs().test(Attr::CONTIGUOUS)) { + if ((IsPointer(symbol) && symbol.Rank() > 0) || IsAssumedShape(symbol) || + evaluate::IsAssumedRank(symbol)) { + } else if (symbol.owner().IsDerivedType()) { // C752 + messages_.Say( + "A CONTIGUOUS component must be an array with the POINTER attribute"_err_en_US); + } else { // C830 + messages_.Say( + "CONTIGUOUS entity must be an array pointer, assumed-shape, or assumed-rank"_err_en_US); + } + } } void CheckHelper::CheckPointerInitialization(const Symbol &symbol) { |