> Oh, I should know why. These cases of yours were added yesterday,
> while I submitted the patch the day before, and then yesterday by Pan
> to help me merge in after your cases. Sorry for introducing this issue,
> I'll submit a new fix patch.
Actually they are already in for a bit :)
51795b910737 (Robin Dapp 2023-06-01 14:18:57 +0200 1) /* { dg-do compile } */
I thought something is special about them that they somehow didn't run
on your machine or so.
But no need for a new patch, thanks. I already have it and will commit
it soon.
Regards
Robin
