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

--- Comment #7 from Michael Levine <mlevine55 at bloomberg dot net> ---
This bug can be marked as fixed now that the patch has been merged.

Reply via email to