Re: [PATCH] libstdc++: Fix laziness of __and/or/not_

2022-09-02 Thread Jonathan Wakely via Gcc-patches
On Fri, 2 Sep 2022, 14:35 Patrick Palka via Libstdc++, < libstd...@gcc.gnu.org> wrote: > On Fri, 2 Sep 2022, Patrick Palka wrote: > > > r13-2230-g390f94eee1ae69 redefined the internal logical operator traits > > __and_, __or_ and __not as alias templates that directly resolve to > > true_type or f

Re: [PATCH] libstdc++: Fix laziness of __and/or/not_

2022-09-02 Thread Patrick Palka via Gcc-patches
On Fri, 2 Sep 2022, Patrick Palka wrote: > r13-2230-g390f94eee1ae69 redefined the internal logical operator traits > __and_, __or_ and __not as alias templates that directly resolve to > true_type or false_type. But it turns out using an alias template here > causes the traits to be less lazy tha

[PATCH] libstdc++: Fix laziness of __and/or/not_

2022-09-02 Thread Patrick Palka via Gcc-patches
r13-2230-g390f94eee1ae69 redefined the internal logical operator traits __and_, __or_ and __not as alias templates that directly resolve to true_type or false_type. But it turns out using an alias template here causes the traits to be less lazy than before because we now compute the logical result