On Thu, 2016-02-18 at 00:21 +0100, Stefan Sobernig wrote: > Am I supposed to file this as a bug report then, for the records? Or > will it be taken care of ...
Jakub already did all the work. Bug filed, patch written, reviewed and committed. Plus followup fixup. He is amazing: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69835 https://gcc.gnu.org/ml/gcc-patches/2016-02/threads.html#01082 https://gcc.gnu.org/ml/gcc-patches/2016-02/msg01203.html
