Re: [Ada] Ensure consistency of fpt exponentiation results

2015-05-26 Thread Eric Botcazou
> This change ensures on all targets that A**B = A**C when B is a small > static constant in the range 0 .. 4 and C is a variable with the same > value. Previously for Float and Long_Float on some targets, this was > not the case. The results given were both within the error bounds that > are allow

[Ada] Ensure consistency of fpt exponentiation results

2015-05-26 Thread Arnaud Charlet
This change ensures on all targets that A**B = A**C when B is a small static constant in the range 0 .. 4 and C is a variable with the same value. Previously for Float and Long_Float on some targets, this was not the case. The results given were both within the error bounds that are allowed by the