[gcc r17-64] libstdc++: Add _GLIBCXX_RESOLVE_LIB_DEFECTS comment for LWG4083.

Tomasz Kaminski tkaminsk@gcc.gnu.org
Fri Apr 24 09:32:25 GMT 2026


https://gcc.gnu.org/g:f3d9afa91c740fe441ede6f9320664a952375d97

commit r17-64-gf3d9afa91c740fe441ede6f9320664a952375d97
Author: Tomasz Kamiński <tkaminsk@redhat.com>
Date:   Fri Apr 24 11:13:02 2026 +0200

    libstdc++: Add _GLIBCXX_RESOLVE_LIB_DEFECTS comment for LWG4083.
    
    The LWG4083, "views::as_rvalue should reject non-input ranges" is resolved,
    as input_range<_Range> is implied by __detail::__can_as_rvalue_view<_Range>.
    
    libstdc++-v3/ChangeLog:
    
            * include/std/ranges: Add comment for LWG4083.

Diff:
---
 libstdc++-v3/include/std/ranges | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index 4f2082487d1d..9c7d639a1543 100644
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -9093,6 +9093,9 @@ namespace views::__adaptor
 	constexpr auto
 	operator() [[nodiscard]] (_Range&& __r) const
 	{
+	  // _GLIBCXX_RESOLVE_LIB_DEFECTS
+	  // 4083. views::as_rvalue should reject non-input ranges
+	  // input_range<_Range> is implied by __detail::__can_as_rvalue_view<_Range>
 	  if constexpr (same_as<range_rvalue_reference_t<_Range>,
 				range_reference_t<_Range>>)
 	    return views::all(std::forward<_Range>(__r));


More information about the Libstdc++-cvs mailing list