Re: [PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-30 Thread Jonathan Wakely
On Wed, 30 Apr 2025 at 09:55, Luc Grosheintz wrote: > On 4/30/25 4:37 AM, Tomasz Kaminski wrote: > > On Tue, Apr 29, 2025 at 11:52 PM Jonathan Wakely wrote: > >> On Tue, 29 Apr 2025 at 14:55, Tomasz Kaminski wrote: > >>> On Tue, Apr 29, 2025 at 2:55 PM Luc Grosheintz > >> wrote: > + t

Re: [PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-30 Thread Luc Grosheintz
On 4/30/25 4:37 AM, Tomasz Kaminski wrote: On Tue, Apr 29, 2025 at 11:52 PM Jonathan Wakely wrote: On Tue, 29 Apr 2025 at 14:55, Tomasz Kaminski wrote: On Tue, Apr 29, 2025 at 2:55 PM Luc Grosheintz wrote: This implements std::extents from according to N4950 and contains partial p

Re: [PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-29 Thread Tomasz Kaminski
On Tue, Apr 29, 2025 at 11:52 PM Jonathan Wakely wrote: > On Tue, 29 Apr 2025 at 14:55, Tomasz Kaminski wrote: > > > > > > > > On Tue, Apr 29, 2025 at 2:55 PM Luc Grosheintz > wrote: > >> > >> This implements std::extents from according to N4950 and > >> contains partial progress towards PR107

Re: [PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-29 Thread Jonathan Wakely
On Tue, 29 Apr 2025 at 14:55, Tomasz Kaminski wrote: > > > > On Tue, Apr 29, 2025 at 2:55 PM Luc Grosheintz > wrote: >> >> This implements std::extents from according to N4950 and >> contains partial progress towards PR107761. >> >> If an extent changes its type, there's a precondition in the s

Re: [PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-29 Thread Tomasz Kaminski
On Tue, Apr 29, 2025 at 2:55 PM Luc Grosheintz wrote: > This implements std::extents from according to N4950 and > contains partial progress towards PR107761. > > If an extent changes its type, there's a precondition in the standard, > that the value is representable in the target integer type.

Re: [PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-29 Thread Jonathan Wakely
On Tue, 29 Apr 2025 at 13:54, Luc Grosheintz wrote: > > This implements std::extents from according to N4950 and > contains partial progress towards PR107761. > > If an extent changes its type, there's a precondition in the standard, > that the value is representable in the target integer type. T

Re: [PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-29 Thread Jonathan Wakely
On Tue, 29 Apr 2025 at 13:54, Luc Grosheintz wrote: > > This implements std::extents from according to N4950 and > contains partial progress towards PR107761. > > If an extent changes its type, there's a precondition in the standard, > that the value is representable in the target integer type. T

[PATCH v5 03/10] libstdc++: Implement std::extents [PR107761].

2025-04-29 Thread Luc Grosheintz
This implements std::extents from according to N4950 and contains partial progress towards PR107761. If an extent changes its type, there's a precondition in the standard, that the value is representable in the target integer type. This precondition is not checked at runtime. The precondition fo