Re: [PATCH] c++: consteval blocks

2025-07-17 Thread Jakub Jelinek
On Thu, Jul 17, 2025 at 06:44:08PM -0400, Jason Merrill wrote: > Hmm, perhaps, for stateful evaluation like define_aggregate. But we could > address that with a flag on the STATIC_ASSERT like this patch puts on the > STMT_EXPR. Sure. Jakub

Re: [PATCH] c++: consteval blocks

2025-07-17 Thread Jason Merrill
On 7/17/25 6:25 PM, Jakub Jelinek wrote: On Thu, Jul 17, 2025 at 05:31:27PM -0400, Jason Merrill wrote: On 7/16/25 10:49 AM, Marek Polacek wrote: Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk? -- >8 -- This patch implements consteval blocks, as specified by P2996. They aren't ver

Re: [PATCH] c++: consteval blocks

2025-07-17 Thread Jakub Jelinek
On Thu, Jul 17, 2025 at 05:31:27PM -0400, Jason Merrill wrote: > On 7/16/25 10:49 AM, Marek Polacek wrote: > > Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk? > > > > -- >8 -- > > This patch implements consteval blocks, as specified by P2996. > > They aren't very useful without define

Re: [PATCH] c++: consteval blocks

2025-07-17 Thread Jason Merrill
On 7/16/25 10:49 AM, Marek Polacek wrote: Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk? -- >8 -- This patch implements consteval blocks, as specified by P2996. They aren't very useful without define_aggregate, but having a reviewed implementation on trunk would be great. consteva

[PATCH] c++: consteval blocks

2025-07-16 Thread Marek Polacek
Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk? -- >8 -- This patch implements consteval blocks, as specified by P2996. They aren't very useful without define_aggregate, but having a reviewed implementation on trunk would be great. consteval {} can be anywhere where a member-declarat