diff --git a/xml/issue4021.xml b/xml/issue4021.xml index ef70ee5a37..8af776e68e 100644 --- a/xml/issue4021.xml +++ b/xml/issue4021.xml @@ -6,7 +6,7 @@
Stephan T. Lavavej 07 Dec 2023 -99 +3

@@ -72,6 +72,24 @@ A type M meets the layout mapping requirements if

Constant expressions can surely be obtained without throwing exceptions.

+ +2025-10-21; Reflector poll. +

+Set priority to 3 after reflector poll. +

+

+Use if consteval may lead to exception thrown from invocation +of is_always_meow, when evaluated at runtime. +

+

+Design intent was for is_always_meow functions to always +produce value at compile time. Layout requirements may need to be updated. +

+

+Separately, says that +Result: is just the type and value category; not "constant expression" +- this matters because we need to require a prvalue constant expression here. +

 diff --git a/xml/issue4314.xml b/xml/issue4314.xml index f19449a9d6..1807e2eafe 100644 --- a/xml/issue4314.xml +++ b/xml/issue4314.xml @@ -8,7 +8,7 @@ Luc Grosheintz 13 Aug 2025 -99 +2

@@ -71,6 +71,19 @@ This inconsistency was noticed while fixing PR121061 and these changes have been applied to all layout mappings implemented in libstdc++.

+ +2025-10-21; Reflector poll. +

+Set priority to 2 after reflector poll. +

+

+The resolution bypasses extents_type::index-cast that would +validate if input value is representable. +

+

+We should require convertibility without regard to const and +value category. +