Since the patch adds new built-in functions __builtin_issubnormal and __builtin_iszero, it also needs to update c-typeck.c:convert_arguments to make those functions remove excess precision. This is mentioned in the PRs 77925 and 77926 for addition of those functions (which as I noted in <https://gcc.gnu.org/ml/gcc-patches/2016-11/msg01190.html> should be included in the ChangeLog entry for the patch).
-- Joseph S. Myers jos...@codesourcery.com