https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24551
--- Comment #4 from Thomas De Schampheleire <patrickdepinguin at gmail dot com> --- Could it not be that #14167 is now fixed after fixing #86964 ?
patrickdepinguin at gmail dot com Wed, 05 Jun 2019 07:31:58 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24551
--- Comment #4 from Thomas De Schampheleire <patrickdepinguin at gmail dot com> --- Could it not be that #14167 is now fixed after fixing #86964 ?