Bruno Haible wrote:
Should we report it as a GCC bug?

I think so. I created a bug report, here:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79479

Reply via email to