Re: [PATCH 1/2] c++: order of trailing arguments in a trait expr

2021-09-30 Thread Jason Merrill via Gcc-patches
On 9/30/21 12:52, Patrick Palka wrote: When parsing a variadic trait expression, we build up the list of trailing arguments in reverse, but we're neglecting to reverse the list to its true order afterwards. This causes us to confuse the meaning of e.g. __is_xible(x, y, z) and __is_xible(x, z, y)

[PATCH 1/2] c++: order of trailing arguments in a trait expr

2021-09-30 Thread Patrick Palka via Gcc-patches
When parsing a variadic trait expression, we build up the list of trailing arguments in reverse, but we're neglecting to reverse the list to its true order afterwards. This causes us to confuse the meaning of e.g. __is_xible(x, y, z) and __is_xible(x, z, y). Note that bug isn't exposed in the sta