[flang-commits] [flang] [flang] remove sequences of duplicate messages (PR #161916)
Andre Kuhlenschmidt via flang-commits
flang-commits at lists.llvm.org
Fri Oct 3 15:04:10 PDT 2025
https://github.com/akuhlens created https://github.com/llvm/llvm-project/pull/161916
Fixes bug exposed by https://github.com/llvm/llvm-project/pull/161915 by keeping a cache of messages printed at a given location.
>From 5a52dcaad487535733bac61c362d74a9498c3ae4 Mon Sep 17 00:00:00 2001
From: Andre Kuhlenschmidt <akuhlenschmi at nvidia.com>
Date: Fri, 3 Oct 2025 09:32:18 -0700
Subject: [PATCH 1/2] initial commit
---
flang/lib/Evaluate/check-expression.cpp | 17 +++++++++++------
flang/test/Semantics/intrinsics03.f90 | 5 ++++-
flang/test/Semantics/intrinsics04.f90 | 5 ++++-
3 files changed, 19 insertions(+), 8 deletions(-)
diff --git a/flang/lib/Evaluate/check-expression.cpp b/flang/lib/Evaluate/check-expression.cpp
index 8931cbe485ac2..012b44e7d3747 100644
--- a/flang/lib/Evaluate/check-expression.cpp
+++ b/flang/lib/Evaluate/check-expression.cpp
@@ -135,16 +135,21 @@ bool IsConstantExprHelper<INVARIANT>::operator()(
} else if (proc.IsPure()) {
std::size_t j{0};
for (const auto &arg : call.arguments()) {
- if (const auto *dataDummy{j < proc.dummyArguments.size()
- ? std::get_if<characteristics::DummyDataObject>(
- &proc.dummyArguments[j].u)
- : nullptr};
- dataDummy &&
+ const auto *dataDummy{j < proc.dummyArguments.size()
+ ? std::get_if<characteristics::DummyDataObject>(
+ &proc.dummyArguments[j].u)
+ : nullptr};
+ if (dataDummy &&
dataDummy->attrs.test(
characteristics::DummyDataObject::Attr::OnlyIntrinsicInquiry)) {
// The value of the argument doesn't matter
} else if (!arg) {
- return false;
+ // Missing optional arguments are constant
+ if (!(dataDummy &&
+ dataDummy->attrs.test(
+ characteristics::DummyDataObject::Attr::Optional))) {
+ return false;
+ }
} else if (const auto *expr{arg->UnwrapExpr()};
!expr || !(*this)(*expr)) {
return false;
diff --git a/flang/test/Semantics/intrinsics03.f90 b/flang/test/Semantics/intrinsics03.f90
index a5b13b655cf41..2b07c5ee98eaf 100644
--- a/flang/test/Semantics/intrinsics03.f90
+++ b/flang/test/Semantics/intrinsics03.f90
@@ -129,6 +129,9 @@ subroutine ichar_tests()
!Without -Wportability, the warning isn't emitted and the parameter is constant.
integer, parameter :: a2 = ichar('B ')
!ERROR: Character in intrinsic function ichar must have length one
- !ERROR: Must be a constant value
+ !ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
+ !ERROR: Character in intrinsic function ichar must have length one
+ !ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
+ !ERROR: Character in intrinsic function ichar must have length one
integer, parameter :: a3 = ichar('')
end subroutine
diff --git a/flang/test/Semantics/intrinsics04.f90 b/flang/test/Semantics/intrinsics04.f90
index abb8fe321a572..8b6b29fed2128 100644
--- a/flang/test/Semantics/intrinsics04.f90
+++ b/flang/test/Semantics/intrinsics04.f90
@@ -29,6 +29,9 @@ subroutine ichar_tests()
!WARNING: Character in intrinsic function ichar should have length one [-Wportability]
integer, parameter :: a2 = ichar('B ')
!ERROR: Character in intrinsic function ichar must have length one
- !ERROR: Must be a constant value
+ !ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
+ !ERROR: Character in intrinsic function ichar must have length one
+ !ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
+ !ERROR: Character in intrinsic function ichar must have length one
integer, parameter :: a3 = ichar('')
end subroutine
>From 7dba40432b17f6852aea2abd18ed50aa89bf3908 Mon Sep 17 00:00:00 2001
From: Andre Kuhlenschmidt <akuhlenschmi at nvidia.com>
Date: Fri, 3 Oct 2025 14:53:58 -0700
Subject: [PATCH 2/2] initial commit
---
flang/include/flang/Parser/message.h | 2 +-
flang/lib/Parser/message.cpp | 24 ++++++++++++++++++++----
flang/test/Semantics/associated.f90 | 2 --
flang/test/Semantics/intrinsics03.f90 | 3 ---
flang/test/Semantics/intrinsics04.f90 | 3 ---
5 files changed, 21 insertions(+), 13 deletions(-)
diff --git a/flang/include/flang/Parser/message.h b/flang/include/flang/Parser/message.h
index 224263e4be860..7c639eff1eeef 100644
--- a/flang/include/flang/Parser/message.h
+++ b/flang/include/flang/Parser/message.h
@@ -307,9 +307,9 @@ class Message : public common::ReferenceCounted<Message> {
bool Merge(const Message &);
bool operator==(const Message &that) const;
bool operator!=(const Message &that) const { return !(*this == that); }
+ bool AtSameLocation(const Message &) const;
private:
- bool AtSameLocation(const Message &) const;
std::variant<ProvenanceRange, CharBlock> location_;
std::variant<MessageFixedText, MessageFormattedText, MessageExpectedText>
text_;
diff --git a/flang/lib/Parser/message.cpp b/flang/lib/Parser/message.cpp
index 2c4f930c0b088..0e06711c5b71b 100644
--- a/flang/lib/Parser/message.cpp
+++ b/flang/lib/Parser/message.cpp
@@ -477,15 +477,31 @@ void Messages::Emit(llvm::raw_ostream &o, const AllCookedSources &allCooked,
}
std::stable_sort(sorted.begin(), sorted.end(),
[](const Message *x, const Message *y) { return x->SortBefore(*y); });
- const Message *lastMsg{nullptr};
+ std::vector<const Message *> msgsWithLastLocation;
std::size_t errorsEmitted{0};
for (const Message *msg : sorted) {
- if (lastMsg && *msg == *lastMsg) {
- // Don't emit two identical messages for the same location
+ bool shouldSkipMsg = false;
+ // Don't emit two identical messages for the same location
+ // At the same location messages are sorted by the order they were
+ // added to the list, which is a decent proxy for the causality
+ // of the messages.
+ if (!msgsWithLastLocation.empty()) {
+ if (msgsWithLastLocation[0]->AtSameLocation(*msg)) {
+ for (const Message *msgAtThisLocation : msgsWithLastLocation) {
+ if (*msg == *msgAtThisLocation) {
+ shouldSkipMsg = true; // continue loop over sorted messages
+ break;
+ }
+ }
+ } else {
+ msgsWithLastLocation.clear();
+ }
+ }
+ if (shouldSkipMsg) {
continue;
}
+ msgsWithLastLocation.push_back(msg);
msg->Emit(o, allCooked, echoSourceLines, hintFlagPtr);
- lastMsg = msg;
if (warningsAreErrors || msg->IsFatal()) {
++errorsEmitted;
}
diff --git a/flang/test/Semantics/associated.f90 b/flang/test/Semantics/associated.f90
index 7cb6c240db226..731f2d828995f 100644
--- a/flang/test/Semantics/associated.f90
+++ b/flang/test/Semantics/associated.f90
@@ -253,8 +253,6 @@ subroutine test(assumedRank)
lvar = associated(intPointerVar1, targetIntCoarray[1])
!ERROR: 'neverdeclared' is not a procedure
!ERROR: Could not characterize intrinsic function actual argument 'badpointer'
- !ERROR: 'neverdeclared' is not a procedure
- !ERROR: Could not characterize intrinsic function actual argument 'badpointer'
lvar = associated(badPointer)
end subroutine test
end subroutine assoc
diff --git a/flang/test/Semantics/intrinsics03.f90 b/flang/test/Semantics/intrinsics03.f90
index 2b07c5ee98eaf..1a4269868a3d4 100644
--- a/flang/test/Semantics/intrinsics03.f90
+++ b/flang/test/Semantics/intrinsics03.f90
@@ -130,8 +130,5 @@ subroutine ichar_tests()
integer, parameter :: a2 = ichar('B ')
!ERROR: Character in intrinsic function ichar must have length one
!ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
- !ERROR: Character in intrinsic function ichar must have length one
- !ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
- !ERROR: Character in intrinsic function ichar must have length one
integer, parameter :: a3 = ichar('')
end subroutine
diff --git a/flang/test/Semantics/intrinsics04.f90 b/flang/test/Semantics/intrinsics04.f90
index 8b6b29fed2128..e733067237d17 100644
--- a/flang/test/Semantics/intrinsics04.f90
+++ b/flang/test/Semantics/intrinsics04.f90
@@ -30,8 +30,5 @@ subroutine ichar_tests()
integer, parameter :: a2 = ichar('B ')
!ERROR: Character in intrinsic function ichar must have length one
!ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
- !ERROR: Character in intrinsic function ichar must have length one
- !ERROR: Value of named constant 'a3' (ichar("")) cannot be computed as a constant value
- !ERROR: Character in intrinsic function ichar must have length one
integer, parameter :: a3 = ichar('')
end subroutine
More information about the flang-commits
mailing list