aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarek Polacek <polacek@redhat.com>2024-01-19 15:27:51 -0500
committerMarek Polacek <polacek@redhat.com>2024-01-20 15:41:52 -0500
commit7db802d972e622242d015ecd5a8cecf63e69a45a (patch)
treefd5553d7565e8950c1586fd1464978bbd5cffe79
parent17473a93cff5340acfc293299a2f9a5857a50909 (diff)
downloadgcc-7db802d972e622242d015ecd5a8cecf63e69a45a.zip
gcc-7db802d972e622242d015ecd5a8cecf63e69a45a.tar.gz
gcc-7db802d972e622242d015ecd5a8cecf63e69a45a.tar.bz2
libstdc++: suppress -Wdangling-reference with operator| [PR111410]
It seems to me that we should exclude std::ranges::views::__adaptor::operator| from the -Wdangling-reference warning. It's commonly used when handling ranges. PR c++/111410 libstdc++-v3/ChangeLog: * include/std/ranges: Add #pragma to disable -Wdangling-reference with std::ranges::views::__adaptor::operator|. gcc/testsuite/ChangeLog: * g++.dg/warn/Wdangling-reference17.C: New test.
-rw-r--r--gcc/testsuite/g++.dg/warn/Wdangling-reference17.C15
-rw-r--r--libstdc++-v3/include/std/ranges3
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/warn/Wdangling-reference17.C b/gcc/testsuite/g++.dg/warn/Wdangling-reference17.C
new file mode 100644
index 0000000..2236984
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wdangling-reference17.C
@@ -0,0 +1,15 @@
+// PR c++/111410
+// { dg-do compile { target c++20 } }
+// { dg-options "-Wdangling-reference" }
+
+#include <vector>
+#include <ranges>
+
+int main()
+{
+ std::vector v{1, 2, 3, 4, 5};
+ for (auto i : std::span{v} | std::views::take(1))
+ {
+ (void) i;
+ }
+}
diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index 7ef835f..f2413ba 100644
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -942,6 +942,8 @@ namespace views::__adaptor
concept __is_range_adaptor_closure
= requires (_Tp __t) { __adaptor::__is_range_adaptor_closure_fn(__t, __t); };
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wdangling-reference"
// range | adaptor is equivalent to adaptor(range).
template<typename _Self, typename _Range>
requires __is_range_adaptor_closure<_Self>
@@ -961,6 +963,7 @@ namespace views::__adaptor
return _Pipe<decay_t<_Lhs>, decay_t<_Rhs>>{std::forward<_Lhs>(__lhs),
std::forward<_Rhs>(__rhs)};
}
+#pragma GCC diagnostic pop
// The base class of every range adaptor non-closure.
//