Hi Jeremie,
I'd recommend submitting a bug report at https://gcc.gnu.org/bugzilla/ if you cannot find one already.
Best regards,
Thomas
Hi Jeremie,
I'd recommend submitting a bug report at https:/ /gcc.gnu. org/bugzilla/ if you cannot find one already.
Best regards,
Thomas