> FX submitted the patch series, I can find the reference if you need it.

Patch was submitted in this thread: https://gcc.gnu.org/pipermail/gcc-patches/2023-September/630096.html


>> Besides,
>> it's unclear if those messages can just be removed (they are pretty
>> cryptic as is) or at least changed to use verbose instead of puts.
>> Please fix.

I don’t see value in this output, so I think it’s best to remove the puts calls entirely. Attached patch does that.
Testing under progress, OK if it passes? (or does that count as obvious fix-up of the previous patch)

FX