Fwd: JDK 9 RFR of JDK-8030942: Explicitly state floating-point summation requirements on non-finite inputs

[Georgiy Rakov]

On 22.07.2014 20:12, Joe Darcy wrote:
> Hello Georgiy,
>
> On 07/22/2014 08:49 AM, Georgiy Rakov wrote:
>> Hello Joe,
>>
>> following assertion seems to me too loose:
>>
>>      * Because of the unspecified order of operations and the
>>      * possibility of using differing summation schemes, the output of
>>      * this method may vary on the same input values.
>>
>> as I see it this assertion imposes no constraints on how the sum can 
>> be varied. Strictly speaking, I'm afraid from conformance point of 
>> view it can cause the entire method to become untestable.
>>
>> Thank you,
>> Georgiy.
>>
>
> I would argue the statement above is just a clarification of the 
> existing (non) specification of how the method can operate.
>
> Ideally, the sum method would state an error bound for its operation. 
> There are bugs in this subcomponent mentioning adding such a bound, 
> which may be done later in JDK 9.
>
Do I understand correctly that your opinion is that for the present 
moment this method is actually untestable from conformance point of view?

- Georgiy.
> -Joe