Eric Botcazou <ebotca...@adacore.com> writes: >> Maybe add the comments to tree.def instead. > > Good idea, revised patch attached. > > > * tree.def (CEIL_DIV_EXPR, FLOOR_DIV_EXPR, ROUND_DIV_EXPR): Tweak > comments. > (TRUNC_MOD_EXPR, CEIL_MOD_EXPR, FLOOR_MOD_EXPR, ROUND_MOD_EXPR): > Add comments on sign of the result. > * fold-const.c (tree_binary_nonnegative_warnv_p) <FLOOR_MOD_EXPR>: > Recurse on operand #1 instead of operand #0. > <CEIL_MOD_EXPR>: Do not recurse. > <ROUND_MOD_EXPR>: Likewise.
Thanks for fixing this and sorry for the breakage. I do normally test Ada but must have used the wrong baseline. Thanks, Richard
