Re: [PATCH] c++: std::is_constant_evaluated inside a constraint [PR97051]

2020-09-18 Thread Jason Merrill via Gcc-patches
On 9/17/20 12:36 PM, Patrick Palka wrote: According to [expr.const]/14, the result of substitution into an atomic constraint is manifestly constant-evaluated; this patch adjusts the call to maybe_constant_value in satisfy_atom to that effect. Tested on x86_64-pc-linux-gnu, and also tested on the

[PATCH] c++: std::is_constant_evaluated inside a constraint [PR97051]

2020-09-17 Thread Patrick Palka via Gcc-patches
According to [expr.const]/14, the result of substitution into an atomic constraint is manifestly constant-evaluated; this patch adjusts the call to maybe_constant_value in satisfy_atom to that effect. Tested on x86_64-pc-linux-gnu, and also tested on the cmcstl2 and range-v3 libraries. Does this