> This patch should be sent to libstdc++6-4.7-dev. Isn't it ? I'd suggest assigning this bug to libstdc++6-4.7 perhaps, that way they get to know about the problem. Clang itself cannot fix it, unless __float128 gets properly implemented.