Hi all, Sorry for sending the ping here, but gcc-patches seems to be completely overwhelmed and my patch keeps getting buried Cheers, https://gcc.gnu.org/pipermail/gcc-patches/2023-August/627913.html best regards, Julian