[PATCH] Fix PR15346

[Joseph Myers]

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
joseph@codesourcery.com