https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68072
--- Comment #5 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- Any opinions on the patch in comment 3?
vogt at linux dot vnet.ibm.com Tue, 10 Nov 2015 22:46:19 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68072
--- Comment #5 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- Any opinions on the patch in comment 3?