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

--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> ---
This seems to have got fixed between gdfb40855a08 (BAD) and g0f40e59f193
(GOOD).

Reply via email to