Is it too soon to ping again?  :)  I think Nixman needs some feedback as to
whether he's on the right track in addressing your concerns.

On Sun, Feb 5, 2023, 12:39 NightStrike <nightstrike@gmail.com> wrote:

> Jakub, ping
>
> On Thu, Jan 26, 2023, 12:50 i.nixman--- via Gcc-patches <
> gcc-patches@gcc.gnu.org> wrote:
>
>> hello,
>>
>> could someone look at the patch attached please?
>>
>> https://gcc.gnu.org/pipermail/gcc-patches/2023-January/610392.html
>>
>