------- Comment #21 from manu at gcc dot gnu dot org 2010-02-23 10:23 ------- (In reply to comment #19) > > The present logic is: convert (with convert_and_check) both operands to a > common type, which may have excess precision; then, later, after producing > the tree for the result of the operation, wrap that in an > EXCESS_PRECISION_EXPR, using the semantic type, if there is a semantic > type different from the type with excess precision.
This is only true for build_binary_op. In build_conditional_expr both operands are converted to the semantic type first, if I am reading the code correctly, so there is nothing to fix (in fact, I cannot build a testcase that misses the warning when using conditional expression). The code of build_binary_op is a bit complex, specially the interaction between result_type, final_type, buid_type, converted and real_result_type. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43128