On Tue, 2 Dec 2014, Joseph Myers wrote: > (y), 1)) is not the right condition for rounding away). The following Ada > testcase test_round_div.adb will generate a ROUND_DIV_EXPR which is
I should add that I'm not sure if Ada requires correct rounding for fixed-point division converted to integer like this, or, if not, whether GNU Ada nevertheless guarantees it; it's simply a case that does generate such a ROUND_DIV_EXPR and so can be used to test how ROUND_DIV_EXPR behaves (in the absence of built-in functions). -- Joseph S. Myers jos...@codesourcery.com
