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

Thomas De Schampheleire <patrickdepinguin at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |patrickdepinguin at gmail dot 
com

--- Comment #3 from Thomas De Schampheleire <patrickdepinguin at gmail dot com> 
---
A fix for this issue seems to have been applied as (git) commit
efab3e3a7326ad503532955ccd31f953851e388a. This bug can thus be closed.
  • [Bug c++/90816] -finstrumen... patrickdepinguin at gmail dot com via Gcc-bugs

Reply via email to