https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80387
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- PR 80396 requests such a builtin.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80387
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- PR 80396 requests such a builtin.