On Mon, Feb 01, 2016 at 03:32:32AM +0100, Nicolai Stange wrote: > Move the whole calculation of binary operations', compare and logical > expressions' constness flags to the evaluation phase such that expressions > like > > 0 + __builtin_choose_expr(0, 0, 0) > 0 < __builtin_choose_expr(0, 0, 0) > 0 && __builtin_choose_expr(0, 0, 0) > > can now be recognized as qualifying as integer constant expressions. > Shouldn't it be better to already include the '~' into the definition of CONSTEXPR_FLAG_DECAY_CONSTS_MASK? Otherwise it's fine for me. Feel free to add Reviewed-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html