I'd like to ping this patch. https://gcc.gnu.org/pipermail/gcc-patches/2026-June/720905.html
Also Andrea Pinski suggested a minor (basically stylistic) change to the patch. What do you prefer, David? https://gcc.gnu.org/pipermail/gcc-patches/2026-June/721007.html https://gcc.gnu.org/pipermail/gcc-patches/2026-June/721008.html Cheers, Filip Kastl On Sat 2026-06-20 15:48:10, Filip Kastl wrote: > On Fri 2026-06-19 10:33:56, Filip Kastl wrote: > > Hi David. > > > > I haven't regstrapped this patch yet. If you're ok with it, I'll regstrap > > and > > push it. > > I've regstrapped it just now (on a x86_64 linux system) so the patch is ready > to be pushed if you like it. > > Cheers, > Filip Kastl
