https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111231
--- Comment #2 from Mathieu Malaterre <malat at debian dot org> --- reported upstream as: * https://github.com/google/highway/issues/1683
malat at debian dot org via Gcc-bugs Tue, 29 Aug 2023 23:51:42 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111231
--- Comment #2 from Mathieu Malaterre <malat at debian dot org> --- reported upstream as: * https://github.com/google/highway/issues/1683