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

--- Comment #18 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
First patch pushed as
https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=9970b576b7e4ae337af1268395ff221348c4b34a
(forgot to add the PR number, silly me)

Reply via email to