This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Simplify the base characteristics for some type traits
On 19/07/18 21:40 +0300, Ville Voutilainen wrote:
On 19 July 2018 at 20:18, Jonathan Wakely <email@example.com> wrote:
This removes some seemingly redundant conditions from a few traits. If
__is_trivially_assignable correctly checks the assignable condition as
well as triviality, then we don't need is_assignable explicitly. Does
anybody see a problem with that
It should work; if it doesn't, that's a bug in the compiler. Both
and is_assignable and trivial variants thereof go to the same
"is_xible" code path,
so it should be fair for the library to expect that it all works. In
case it doesn't,
that's something that I will fix in the front-end.
Yeah I agree. I guess my concern is that we introduce a regression and
don't notice for a while that the intrinsic is buggy.
I've committed it now, so we'll see :-)