On Sat, 4 Aug 2018 at 17:32, Bernhard Reutner-Fischer wrote: > debian-stable (i think 9 ATM), Ubuntu LTS ship versions recent enough > to contain both fixes. Commercial distros seem to ship fixed versions, > too.
The CentOS 7.4.1708 version on gcc112 doesn't seem to be fixed.